agda

Paket-Details

Name agda
Version 2.6.0.1.20191219-27
Beschreibung A dependently typed functional programming language and proof assistant
URL https://wiki.portal.chalmers.se/agda/
Lizenzen custom
Repositorium community
Architektur x86_64
Packer Felix Yan
Erstellt am 26.02.2020 11:33
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket agda-2.6.0.1.20191219-27-x86_64.pkg.tar.zst
PGP-Signatur agda-2.6.0.1.20191219-27-x86_64.pkg.tar.zst.sig
Paket-Größe 23,04 MByte
Installations-Größe 198,22 MByte

Dateien