idris-0.10.1: test/quasiquote002/run
#!/usr/bin/env bash
${IDRIS:-idris} $@ GoalQQuote.idr -o quasiquote002
./quasiquote002
rm -f quasiquote002 *.ibc
#!/usr/bin/env bash
${IDRIS:-idris} $@ GoalQQuote.idr -o quasiquote002
./quasiquote002
rm -f quasiquote002 *.ibc