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_64 |
Size | 15.6MiB |
Installed size | 62.0MiB |
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 |