Package Details: agda-git 2.5.1.r5471.51914041f-2

Git Clone URL: https://aur.archlinux.org/agda-git.git (read-only)
Package Base: agda-git
Description: A dependently typed functional programming language and proof assistant: development version
Upstream URL: http://wiki.portal.chalmers.se/agda/
Licenses: custom
Conflicts: agda
Provides: agda
Submitter: johngowers
Maintainer: johngowers
Last Packager: johngowers
Votes: 0
Popularity: 0.000000
First Submitted: 2018-06-21 20:18
Last Updated: 2018-06-24 22:06