Idris-dev

A Dependently Typed Functional Programming Language

Project informations


Promote Idris-dev

Embed in README.md

Prime4commit