@hackage / lambda

Interpreters for lambda calculus, calculus of constructions, and more

Latest0.1.0.0

Dependencies

executable:lambda (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.11 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.1 && <2.3
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=0.7 && <2.1
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.7
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.6 && <3.2
- License: BSD-2-Clause