idris-1.3.3: test/totality005/run.sh
#!/usr/bin/env bash
${IDRIS:-idris} $@ totality005.idr --total --check
${IDRIS:-idris} $@ totality005.idr -o totality005
./totality005
rm -f totality005 *.ibc
#!/usr/bin/env bash
${IDRIS:-idris} $@ totality005.idr --total --check
${IDRIS:-idris} $@ totality005.idr -o totality005
./totality005
rm -f totality005 *.ibc