A tutorial to the Idris Programming Language in HTML and EPUB formats.
Home Page:https://github.com/idris-lang/idris-tutorial
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool