run.sh

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