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