idris-0.10.1: test/effects003/run
#!/usr/bin/env bash
${IDRIS:-idris} $@ hangman.idr --nocolour -p effects -o hangman
./hangman < input
rm -f hangman *.ibc
#!/usr/bin/env bash
${IDRIS:-idris} $@ hangman.idr --nocolour -p effects -o hangman
./hangman < input
rm -f hangman *.ibc