agda 2.5.99.20190207-12

Architecture:x86_64
Repository:community
Base Package:agda
Description:A dependently typed functional programming language and proof assistant
Upstream URL:https://wiki.portal.chalmers.se/agda/
License(s):custom
Package Size:11.1 MB
Installed Size:82.2 MB
Last Packager:Felix Yan
Last Updated:2019-04-04 08:20:04 JST