@hackage nanoAgda0.1.0

A toy dependently-typed language

Categories
License
LicenseRef-OtherLicense
Maintainer
jeanphilippe.bernardy@gmail.com
Links
- Documentation
- No source repository
Versions
- 1.0.0 Tue, 20 Mar 2012
- 0.1.1 Fri, 16 Mar 2012
- 0.1.0 Tue, 13 Mar 2012

Installation
In your cabal file:
Dependencies (0)
- base >=4 && <5
- containers >=0.4 && <0.5
- mtl >=2.0 && <2.1
- parsec >=2.1 && <2.2
- transformers >=0.2 && <0.3
- BNFC-meta >=0.2 && <0.3
Dependents (1)
@hackage/acme-everything

nanoAgda implements a type-checker for a toy dependently-typed language. The goal of the project is to provide a minimal type-checker with dependent types that can be easily fiddled with.

@hackage nanoAgda0.1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)