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