SunRed/myriad
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add docker image for executing Idris

Browse source
This commit is contained in:
vzwGrey 2019-07-22 00:53:23 +02:00
parent 348054a994
commit 5922160290
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
languages/idris/run.sh Normal file
View file

@ -0,0 +1,2 @@
printf %s "$1" > Main.idr
idris --execute ./Main.idr || true