packages feed

idris-0.9.11: test/reg029/run

#!/usr/bin/env bash
idris $@ reg029.idr -o reg029
unset IDRIS_REG029_NONEXISTENT_VAR
export IDRIS_REG029_EXISTENT_VAR='exists!'
./reg029
idris $@ reg029.idr --exec
rm -f reg029 *.ibc