git.iko.soy/Idris-dev
on master help sign in
typo in unique001 test corrected
5b5da7aAndreas Reuleaux
test/unique001/run−1
compare with master
unifiedsplit
@@ -7,4 +7,3 @@ idris --consolewidth 80 $@ unique001c.idr --check
7idris --consolewidth 80 $@ unique001d.idr --check
7idris --consolewidth 80 $@ unique001d.idr --check
8idris --consolewidth 80 $@ unique001e.idr --check
8idris --consolewidth 80 $@ unique001e.idr --check
9rm -f unique001 *.ibc
9rm -f unique001 *.ibc
10−k