idris2 (lang/idris2) Updated: 7 months, 3 weeks ago Add to my watchlist
Purely functional programming language with dependent typesVersion: 0.7.0 License: BSD
GitHub
| Maintainers | barracuda156 |
| Categories | lang |
| Homepage | https://www.idris-lang.org |
| Platforms | darwin |
| Variants |
|
"idris2" depends on
lib (2)
build (2)
Ports that depend on "idris2"
No ports
Port Health:
Loading Port Health