Implementations of various lambda calculus based systems. Source code Contents Index

Typed.Parser Stability experimental Maintainer thanos@sians.org

Contents Parsers

Description

Parsers for the Typed system.

Synopsis

parseProgram :: String -> Program parseContext :: String -> Context

Parsers

parseProgram :: String -> Program Source

Parse source-code from a string to a Program.

parseContext :: String -> Context Source

Parse source-code from a string to a Context.

Produced by Haddock version 2.4.2