org.kiama.example

lambda3

package lambda3

Visibility
  1. Public
  2. All

Type Members

  1. class LambdaTests extends Tests with Parser

    Simple lambda calculus query tests.

  2. trait Parser extends PositionedParserUtilities

    Parser for simple lambda calculus plus REPL queries.

Value Members

  1. object AST

    A simple lambda calculus using abstracted name binding.

  2. object Evaluator

    Evaluation methods for simple lambda calculus.

  3. object Lambda extends ParsingREPL[Query] with Parser

    Simple lambda calculus implementation to illustrate Kiama's support for nominal rewriting.

Ungrouped