idris-0.9.19.1: test/primitives001/run

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