git.iko.soy/Idris-dev
on master help sign in
Remove stale .ibcs
755b5b3David Raymond Christiansen
test/reg018/run+1
compare with master
unifiedsplit
@@ -3,3 +3,4 @@ idris $@ reg018a.idr --check
3idris $@ reg018b.idr --check
3idris $@ reg018b.idr --check
4idris $@ reg018c.idr --check
4idris $@ reg018c.idr --check
5idris $@ reg018d.idr --check
5idris $@ reg018d.idr --check
6+rm *.ibc