idris-1.2.0: test/basic024/run

#!/usr/bin/env bash

${IDRIS:-idris} $@ --quiet --port none < input
${IDRIS:-idris} $@ basic024.idr -o basic024

./basic024

rm -f basic024 *.ibc