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
25
commits
6
branches
7
tags
183
KiB
c069fcf4cf
Commit graph
1 commit
Author
SHA1
Message
Date
vzwGrey
5922160290
Add docker image for executing Idris
2019-07-22 00:53:23 +02:00