idris-0.9.13: test/records003/run

#!/usr/bin/env bash
idris $@ records003.idr -o records003
./records003
rm -f records003 *.ibc