git.iko.soy/Idris-dev
on master help sign in
Spun out existing misc examples into own file
ff46849Jan de Muijnck-Hughes
samples/Makefile → samples/misc/Makefilerenamed+1−1
compare with master
unifiedsplit
@@ -2,7 +2,7 @@ check:
2 rm -f *.ibc
2 rm -f *.ibc
3 for x in *.idr ; do \
3 for x in *.idr ; do \
4 echo "Checking $$x"; \
4 echo "Checking $$x"; \
5− idris -p effects --check $$x; \
5+ idris --check $$x; \
6 done
6 done
7
7
8.PHONY: check
8.PHONY: check
samples/binary.idr → samples/misc/binary.idrrenamed

The content is the same.

samples/interp-alt.idr → samples/misc/interp-alt.idrrenamed

The content is the same.

samples/interp.idr → samples/misc/interp.idrrenamed

The content is the same.

samples/javaffi.idr → samples/misc/javaffi.idrrenamed

The content is the same.

samples/named_instance.lidr → samples/misc/named_instance.lidrrenamed

The content is the same.

samples/reflection.idr → samples/misc/reflection.idrrenamed

The content is the same.