@hackage uAgda1.2.0.3

A simplistic dependently-typed language with parametricity.

Categories
License
LicenseRef-OtherLicense
Maintainer
jeanphilippe.bernardy@gmail.com
Links
- Documentation
- No source repository
Versions
- 1.2.0.4 Sat, 10 Mar 2012
- 1.2.0.3 Sat, 10 Mar 2012
- 1.2.0.2 Fri, 9 Mar 2012
- 1.2.0.1 Fri, 6 Jan 2012
- 1.2.0.0 Thu, 5 Jan 2012
- 1.1.0.0 Mon, 14 Feb 2011

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

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.

@hackage uAgda1.2.0.3

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)