org.kiama.example

lambda3

package lambda3

Visibility
  1. Public
  2. All

Type Members

  1. class Evaluator extends AnyRef

    Evaluation methods for simple lambda calculus.

  2. class LambdaTests extends RegexParserTests with Parser

    Simple lambda calculus query tests.

  3. 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 Lambda extends ParsingREPL[Query[_]] with Parser

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

Ungrouped