idris-0.9.11: test/totality002/run
#!/usr/bin/env bash idris $@ --check test017.idr idris $@ --check test017a.idr idris $@ --check test017b.idr rm -f *.ibc
#!/usr/bin/env bash idris $@ --check test017.idr idris $@ --check test017a.idr idris $@ --check test017b.idr rm -f *.ibc