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