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