idris-0.9.10: test/test005/run

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