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