Spun out existing misc examples into own file
commitff46849765efbbde1334efc82b981913355ba84f
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateThu 16 Apr 2015, 09:55 (12 years ago)
parent3c53610
samples/Makefile → samples/misc/Makefilerenamed+1−1
@@ -2,7 +2,7 @@ check:
22 rm -f *.ibc
33 for x in *.idr ; do \
44 echo "Checking $$x"; \
5− idris -p effects --check $$x; \
5+ idris --check $$x; \
66 done
77
88.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.