Package details
Package idris2-doc
Version 0.6.0-r3
Description Purely functional programming language with first class types (documentation)
Project https://www.idris-lang.org
License BSD-3-Clause
Branch v3.19
Repository community
Architecture x86
Size 3.5MiB
Installed size 11.6MiB
Origin idris2
Maintainer Sören Tempel
Build time 2023-10-23 16:25:29
Commit 15cac6126251509681e54f54237984e677048811
Merge request 53869
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (2)