Table of Contents
Lambda calculus system in Python.
expressions ()
Return a sequence of test expressions.
main ()
An application expression: (M N).
The abstract class of a lambda calculus expression.
A lambda expression: \x.M.
A lambda calculus expression parser.
A collection of unique objects, with uniqueness determined by an
A variable, either free or bound.
A variable expression which consists solely of a variable.