Spun out effects into own sub folder
commit3c53610811530c42bda1afc722f44a7d4fbf71cb
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateThu 16 Apr 2015, 09:53 (12 years ago)
parentb4d23eb
samples/ConsoleIO.idr → samples/effects/ConsoleIO.idrrenamed
The content is the same.
samples/Exception.idr → samples/effects/Exception.idrrenamed
The content is the same.
samples/effects/Makefilenew file+8
@@ -0,0 +1,8 @@
1+check:
2+ rm -f *.ibc
3+ for x in *.idr ; do \
4+ echo "Checking $$x"; \
5+ idris -p effects --check $$x; \
6+ done
7+
8+.PHONY: check
samples/Random.idr → samples/effects/Random.idrrenamed
The content is the same.
samples/ReadInt.idr → samples/effects/ReadInt.idrrenamed
The content is the same.
samples/Select.idr → samples/effects/Select.idrrenamed
The content is the same.
samples/TreeTag-noeff.idr → samples/effects/TreeTag-noeff.idrrenamed
The content is the same.
samples/TreeTag.idr → samples/effects/TreeTag.idrrenamed
The content is the same.
samples/TreeTagCount.idr → samples/effects/TreeTagCount.idrrenamed
The content is the same.
samples/hworld.idr → samples/effects/hworld.idrrenamed
The content is the same.
samples/vadd.idr → samples/effects/vadd.idrrenamed
The content is the same.