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