idris-0.9.13: test/totality001/run
#!/usr/bin/env bash idris $@ --check test010.idr idris $@ --check test010a.idr idris $@ --check test010b.idr rm -f *.ibc
#!/usr/bin/env bash idris $@ --check test010.idr idris $@ --check test010a.idr idris $@ --check test010b.idr rm -f *.ibc