Package Details: agda-bin-git 2.6.2.98d4eb0-1

Git Clone URL: https://aur.archlinux.org/agda-bin-git.git (read-only, click to copy)
Package Base: agda-bin-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: LightQuantum
Maintainer: LightQuantum
Last Packager: LightQuantum
Votes: 0
Popularity: 0.000000
First Submitted: 2021-05-13 08:41
Last Updated: 2021-05-13 08:41