package lambda3
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
class
Evaluator
extends AnyRef
Evaluation methods for simple lambda calculus.
-
class
LambdaTests
extends RegexParserTests with SyntaxAnalyser
Simple lambda calculus query tests.
-
trait
SyntaxAnalyser
extends PositionedParserUtilities
Parser for simple lambda calculus plus REPL queries.
Value Members
-
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.
-
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.