Learning project by a group of people interested in learning the Idris language
Home Page:http://www.idris-lang.org/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool