rodlogic / Idris-dev

A Dependently Typed Functional Programming Language

Home Page:http://idris-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

rodlogic/Idris-dev Issues

No issues in this repository yet.