idris2 (lang/idris2) Updated: 1 week, 4 days ago Add to my watchlist
Purely functional programming language with dependent typesVersion: 0.8.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