Idrisidris Active


Description

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

Extracted automatically from Idris homepage
Open new issue
Homepage
https://www.idris-lang.org/
Version
1.1.1
Source file
source file
Hits
58

Install Idris

brew install idris

Dependencies 0

This formula has no dependencies.