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.

    Simple lambda calculus implementation to illustrate Kiama's support for nominal rewriting. This implementation is closely based on the example used in Scrap your Nameplate, James Cheney, ICFP 2005.

  2. object LambdaTree

    A simple lambda calculus using abstracted name binding.

    A simple lambda calculus using abstracted name binding. The basic term syntax is augmented with query commands for the REPL.

Ungrouped