myriad/languages/idris
2020-06-07 03:43:41 -04:00
..
Dockerfile Alpine latest not stable 2019-07-22 00:56:47 +02:00
run.sh eval: limit docker output to not run out of memory 2020-06-07 03:43:41 -04:00