run.sh

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