Idrisidris


Description

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

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

Install Idris

brew install idris

Dependencies0

This formula has no dependencies.