#!/usr/bin/env bash

${IDRIS:-idris} $@ --nocolour unique001.idr -o unique001
./unique001

rm -f unique001 *.ibc