Idrisidris


Description

Idris is a general purpose pure functional programming language with dependent types.

Extracted automatically from Idris homepage
Homepage
http://www.idris-lang.org
Version
Unavailable

Install Idris

brew install idris

Dependencies0

This formula has no dependencies.