@hackage / glambda

A simply typed lambda calculus interpreter, written with GADTs

Latest1.0.2

Dependencies

library:glambda (8 dependencies)

@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4.0.0
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / haskeline A command-line interface for user input, written in Haskell.
- Version: >=0.7.1.1
- License: BSD-3-Clause
@hackage / ansi-wl-pprint The Wadler/Leijen Pretty Printer for colored ANSI terminal output
- Version: >=0.6.7.1
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1
- License: BSD-2-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.0.1
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.1
- License: BSD-3-Clause

executable:glam (2 dependencies)

test:tests (9 dependencies)