idris-0.12.3: test/unique001/run

#!/usr/bin/env bash

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

rm -f unique001 *.ibc