The uAgda package

[Tags: program]

uAgda implements an experimental dependently-typed language (and proof assistant by the Curry-Howard isomorphism), extended with support for parametricity.

See the share/tutorial directory for how to get started.


Properties

Versions1.0.0.0, 1.0.0.1, 1.0.0.2, 1.1.0.0, 1.2.0.0, 1.2.0.1, 1.2.0.2, 1.2.0.3, 1.2.0.4
Dependenciesarray (==0.3.*), base (==4.*), BNFC-meta (==0.3.*), cmdargs (==0.6.*), containers (==0.4.*), mtl (==2.0.*), parsec (==2.1.*), pretty (==1.0.*), split (==0.1.*), transformers (==0.2.*)
LicenseOtherLicense
AuthorJean-Philippe Bernardy
Maintainerjeanphilippe.bernardy@gmail.com
CategoryDependent Types
ExecutablesuAgda
Upload dateFri Jan 6 13:05:56 UTC 2012
Uploaded byJeanPhilippeBernardy
Downloads468 total (56 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees