idris-0.9.18: test/reg035/run
#!/usr/bin/env bash idris --nocolour --consolewidth 80 --check reg035.idr idris --nocolour --consolewidth 80 --check reg035a.lidr idris --nocolour --consolewidth 80 --check reg035b.idr rm -f *.ibc
#!/usr/bin/env bash idris --nocolour --consolewidth 80 --check reg035.idr idris --nocolour --consolewidth 80 --check reg035a.lidr idris --nocolour --consolewidth 80 --check reg035b.idr rm -f *.ibc