#!/usr/bin/env bash
${IDRIS:-idris} $@ --nocolour unique001.idr -o unique001
./unique001
${IDRIS:-idris} $@ --nocolour unique001a.idr --check
${IDRIS:-idris} $@ --nocolour unique001b.idr --check
${IDRIS:-idris} $@ --nocolour unique001c.idr --check
${IDRIS:-idris} $@ --nocolour unique001d.idr --check
${IDRIS:-idris} $@ --nocolour unique001e.idr --check
rm -f unique001 *.ibc