git.iko.soy/Idris-dev
on 0875310 help sign in
Idris-dev/test/basic007/run
4 lines 82 B history raw
1#!/usr/bin/env bash
2idris $@ -o test033 test033.idr
3./test033
4rm -f *.ibc test033