idris-0.99.1: test/interactive011/run
#!/usr/bin/env bash
cd src
${IDRIS:-idris} "$@" --quiet --port none --indent-clause 4 Main.idr <../input
rm -f *.ibc
#!/usr/bin/env bash
cd src
${IDRIS:-idris} "$@" --quiet --port none --indent-clause 4 Main.idr <../input
rm -f *.ibc