@hackage / lambdacube

A simple lambda cube type checker.

Latest2008.12.25

Dependencies

executable:cube (4 dependencies)

@hackage / editline Bindings to the editline library (libedit).
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause