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