Age | Commit message (Expand) | Author |
---|---|---|
2017-02-13 | Exercises from Idris book. | Kjetil Orbekk |
2017-02-11 | Initial commit. | Kjetil Orbekk |
index : idris.git | ||
Idris code snippets | KJ |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2017-02-13 | Exercises from Idris book. | Kjetil Orbekk |
2017-02-11 | Initial commit. | Kjetil Orbekk |