klimisa / idris101

Learning project by a group of people interested in learning the Idris language

http://www.idris-lang.org/

Geek Repo

Github PK Tool