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