idris-0.9.18: test/folding001/run

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