idris-0.9.15: test/interactive005/run

#!/usr/bin/env bash
idris --nocolour --quiet interactive005.idr < input
rm -f *.ibc
rm -f hello.bytecode
rm -f hello
rm -f a.out