This website requires JavaScript.
Explore
Help
Sign in
SunRed
/
myriad
Watch
1
Star
0
Fork
You've already forked myriad
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
9d3c5ab7b1
myriad
/
languages
/
idris
History
vzwGrey
1610e2c15d
Alpine latest not stable
2019-07-22 00:56:47 +02:00
..
Dockerfile
Alpine latest not stable
2019-07-22 00:56:47 +02:00
run.sh
Add docker image for executing Idris
2019-07-22 00:53:23 +02:00