git.iko.soy/Idris-dev
on master help sign in
Idris-dev/samples/effects/Makefile
8 lines 121 B history raw
1check:
2 rm -f *.ibc
3 for x in *.idr ; do \
4 echo "Checking $$x"; \
5 idris -p effects --check $$x; \
6 done
8.PHONY: check