Giters

klimisa / idris101

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

This repository is not active

About

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

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

License:The Unlicense