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