Implementations of various lambda calculus based systems.Source codeContentsIndex
Typed.Interpreter
Stabilityexperimental
Maintainerthanos@sians.org
Contents
Interpreters
Description
Interpreters for the typed system. Links the parser and the evaluator, handling the dirty stuff.
Synopsis
interpret :: Computer -> String -> String -> String
biginterpret :: Computer -> String -> String -> String
quietinterpret :: Computer -> String -> String -> String
Interpreters
interpret :: Computer -> String -> String -> StringSource
Given a Computer, a context source and a program source, return the detailed computations.
biginterpret :: Computer -> String -> String -> StringSource
Given a Computer, a context source and a program source, return the big-step computations.
quietinterpret :: Computer -> String -> String -> StringSource
Given a Computer, a context source and a program source, return only the results.
Produced by Haddock version 2.4.2