uAgda
Version 1.2.0.4 revision 0 uploaded by JeanPhilippeBernardy.
Package meta
- Synopsis
- A simplistic dependently-typed language with parametricity.
- Description
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.
- Author
- Jean-Philippe Bernardy
- Bug reports
- n/a
- Category
- Dependent Types
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- jeanphilippe.bernardy@gmail.com
- Package URL
- n/a
- Stability
- n/a