SunRed
/
myriad
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
myriad/languages/idris/run.sh

3 lines
50 B
Bash
Raw Blame History

cat > Main.idr
idris --execute ./Main.idr || true
Reference in New Issue View Git Blame Copy Permalink