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 SyntaxAnalyser

    Simple lambda calculus query tests.

  3. trait SyntaxAnalyser extends PositionedParserUtilities

    Parser for simple lambda calculus plus REPL queries.

Value Members

  1. object Lambda extends ParsingREPL[Query[_]] with SyntaxAnalyser

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

  2. object LambdaTree

    A simple lambda calculus using abstracted name binding.

Ungrouped