Packages

package lambda

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait Evaluator extends AnyRef

    Lambda calculus evaluator following Rose's \xgc, ie with explicit substitutions and garbage collection.

    Lambda calculus evaluator following Rose's \xgc, ie with explicit substitutions and garbage collection. See "Explicit Substitution - Tutorial and Survey", Kristoffer H. Rose, BRICS LS-96-3, October 1996.

  2. trait Generator extends AnyRef

    ScalaCheck generators for programs in the lambda language.

  3. class LambdaTests extends RegexParserTests with SyntaxAnalyser with Evaluator with Generator

    Lambda calculus tests.

  4. trait SyntaxAnalyser extends PositionedParserUtilities

    Parser to abstract syntax tree for simple lambda calculus.

Value Members

  1. object Lambda extends ParsingREPL[Exp] with SyntaxAnalyser with Evaluator with Profiler

    A read-eval-print loop for evaluation of lambda calculus expressions.

  2. object LambdaGen extends GeneratingREPL[Exp] with Generator

    A read-eval-print loop for generating random expressions.

  3. object LambdaTree

    A simple lambda calculus.

Ungrouped