dev-haskell/glambda
A simply typed lambda calculus interpreter, written with GADTs
Screenshots
View
Download
BrowseRuntime Dependencies
glambda-1.0.2-r1
>=dev-haskell/haskeline-0.7.1.1:=[profile?
]
>=dev-haskell/parsec-3.1:=[profile?
]
>=dev-haskell/prettyprinter-1.7.0:=[profile?
]
>=dev-haskell/prettyprinter-ansi-terminal-1.1.0:=[profile?
]
>=dev-haskell/text-2.1.1:=[profile?
]
>=dev-lang/ghc-9.0.2:=
dev-lang/ghc:=[profile?
]