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