Package Details: agda-bin-git

Git Clone URL: (read-only, click to copy)
Package Base: agda-bin-git
Description: A dependently typed functional programming language and proof assistant: development version
Upstream URL:
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