idris-0.9.9: test/reg018/run
#!/bin/bash idris $@ reg018a.idr --check idris $@ reg018b.idr --check idris $@ reg018c.idr --check idris $@ reg018d.idr --check
#!/bin/bash idris $@ reg018a.idr --check idris $@ reg018b.idr --check idris $@ reg018c.idr --check idris $@ reg018d.idr --check