Package details
Package | idris2 |
---|---|
Version | 0.6.0-r0 |
Description | Purely functional programming language with first class types |
Project | https://www.idris-lang.org |
License | BSD-3-Clause |
Branch | v3.18 |
Repository | community |
Architecture | x86 |
Size | 15.8MiB |
Installed size | 61.7MiB |
Origin | idris2 |
Maintainer | None |
Build time | 2023-01-12 17:54:09 |
Commit | 58311bb8b602b17b93a070cafe67be0893406890 | Merge request | 42999 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |