Package details
Package idris2
Version 0.7.0-r4
Description Purely functional programming language with first class types
Project https://www.idris-lang.org
License BSD-3-Clause
Branch v3.20
Repository community
Architecture aarch64
Size 18.6MiB
Installed size 94.6MiB
Origin idris2
Maintainer Sören Tempel
Build time 2024-04-29 17:15:38
Commit ee5983d2dfc752db159635f806a83576b38ce787
Merge request 64587
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (2)
Provides (2)
Install if (0)