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