@hackage lambdacube2008.12.25

A simple lambda cube type checker.

Categories
- Compilers and Interpreters
License
BSD-3-Clause
Maintainer
Lennart Augustsson <lennart@augustsson.net>
Links
- Documentation
- No source repository
- Security
Versions
- 2008.12.25 Thu, 25 Dec 2008
- 2008.12.24 Thu, 25 Dec 2008

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

A simple interactive lambda cube type checker and evaluator.