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

Untyped.Interpreter Stability experimental Maintainer thanos@sians.org

Contents Interpreters

Description

Interpreters for the untyped system. Links the parser and the evaluator, handling the dirty stuff.

Synopsis

interpret :: Computer -> String -> String biginterpret :: Computer -> String -> String quietinterpret :: Computer -> String -> String

Interpreters

interpret :: Computer -> String -> String Source

Given a Computer and a source code, return the detailed computations.

biginterpret :: Computer -> String -> String Source

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

quietinterpret :: Computer -> String -> String Source

Given a Computer and a source code, return only the results.

Produced by Haddock version 2.4.2