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

3 lines
42 B
Bash
Raw Permalink Blame History

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