org.kiama.example

lambda

package lambda

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.

  2. trait Generator extends AnyRef

    ScalaCheck generators for programs in the lambda language.

  3. class LambdaTests extends Tests with Checkers with Parser with Evaluator with Generator

    Lambda calculus tests.

  4. trait Parser extends PositionedParserUtilities

    Parser to AST.

Value Members

  1. object AST

    A simple lambda calculus.

  2. object Lambda extends ParsingREPL[Exp] with Parser with Evaluator

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

  3. object LambdaGen extends GeneratingREPL[Exp] with Generator

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

Ungrouped