idris2

v 0.7.0 Updated: 1 year, 3 months ago

Purely functional programming language with dependent types


https://www.idris-lang.org

To install idris2, paste this into the macOS Terminal after installing MacPorts

sudo port install idris2

Add to my watchlist

Installations 1
Requested Installations 1