idris2 (lang/idris2) Updated: 1 year, 5 months 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
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck results
idris2 seems to have been updated (port version: 0.7.0, new version: 0.8.0)
livecheck ran: 1 day, 8 hours ago