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