idris-0.9.12: test/ffi005/run
#!/usr/bin/env bash idris $@ Postulate.idr -o postulate ./postulate rm -f postulate *.ibc idris $@ Postulate2.idr -o postulate ./postulate rm -f postulate *.ibc idris $@ Postulate3.idr -o postulate rm -f postulate *.ibc
#!/usr/bin/env bash idris $@ Postulate.idr -o postulate ./postulate rm -f postulate *.ibc idris $@ Postulate2.idr -o postulate ./postulate rm -f postulate *.ibc idris $@ Postulate3.idr -o postulate rm -f postulate *.ibc