idris-1.3.3: test/quasiquote002/run.sh
#!/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