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