dev-haskell/glambda
A simply typed lambda calculus interpreter, written with GADTs
Screenshots
View
Download
BrowseRuntime Dependencies
glambda-1.0.2
>=dev-haskell/ansi-wl-pprint-0.6.7.1:=[profile?
]
>=dev-haskell/haskeline-0.7.1.1:=[profile?
]
>=dev-haskell/mtl-2.2.1:=[profile?
]
>=dev-haskell/parsec-3.1:=[profile?
]
>=dev-lang/ghc-7.10.1:=
dev-lang/ghc:=[profile?
]