idris-0.9.20: test/effects003/run

#!/usr/bin/env bash
idris $@ hangman.idr --consolewidth 80 --nocolour -p effects -o hangman
./hangman < input
rm -f hangman *.ibc