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