Implementations of various lambda calculus based systems.Source codeContentsIndex
Untyped.Parser
Stabilityexperimental
Maintainerthanos@sians.org
Contents
Parsers
Description
Parsers for the Untyped system.
Synopsis
parseProgram :: String -> Program
Parsers
parseProgram :: String -> ProgramSource
Parse source-code from a string to a Program.
Produced by Haddock version 2.4.2