glambda-1.0.2: A simply typed lambda calculus interpreter, written with GADTs
Language.Glambda.Repl
Description
Implements a REPL for glambda.
Synopsis
main :: IO () Source #
The glamorous Glambda interpreter