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