Package details
Package idris2
Version 0.7.0-r4
Description Purely functional programming language with first class types
License BSD-3-Clause
Branch edge
Repository community
Architecture x86_64
Size 18.79 MB
Installed size 94.07 MB
Origin idris2
Maintainer Sören Tempel
Build time 2024-04-21 07:56:29
Commit 26a12f172e552d8d502365717a57f32460081ffb
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (2)