Install command:
brew install idris2

Pure functional programming language with dependent types

License: BSD-3-Clause

/api/formula-linux/idris2.json (JSON API)

Linux formula code on GitHub

Bottle (binary package) installation support provided for Linux platforms:

Intel big sur
64-bit linux

Current versions:

stable 0.3.0
head ⚡️ HEAD

Depends on:

chezscheme 9.5.4 Implementation of the Chez Scheme language
coreutils 8.32 GNU File, Shell, and Text utilities


Installs (30 days)
idris2 10
Installs on Request (30 days)
idris2 10
Build Errors (30 days)
idris2 0
Installs (90 days)
idris2 57
Installs on Request (90 days)
idris2 57
Installs (365 days)
idris2 98
Installs on Request (365 days)
idris2 99
Fork me on GitHub