idris-0.9.10: test/reg016/run

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