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 TestBase

    Lambda calculus tests.

  4. trait Parser extends PositionedParserUtilities

    Parser to AST.

  5. trait TestBase extends Parser with Generator with Evaluator

    Basis for tests using the lambda calculus language.

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.

No Group