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

Typed.Interpreter Stability experimental Maintainer thanos@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 -> String Source

Given a Computer, a context source and a program source, return the detailed computations.

biginterpret :: Computer -> String -> String -> String Source

Given a Computer, a context source and a program source, return the big-step computations.

quietinterpret :: Computer -> String -> String -> String Source

Given a Computer, a context source and a program source, return only the results.

Produced by Haddock version 2.4.2