agda

Paket-Details

Name agda
Version 2.6.0.1-24
Beschreibung A dependently typed functional programming language and proof assistant
URL https://wiki.portal.chalmers.se/agda/
Lizenzen custom
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 20.10.2019 10:35
Veröffentlicht am 20.10.2019 19:08
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket agda-2.6.0.1-24-x86_64.pkg.tar.xz
PGP-Signatur agda-2.6.0.1-24-x86_64.pkg.tar.xz.sig
Paket-Größe 10,88 MByte
Installations-Größe 80,59 MByte

Dateien