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