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