Lambda is an interactive Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda expressions representing integers are automatically defined as needed. Many interesting combinators are provided in a definition file. Various settings are provided to influence the way reduction and extraction are performed (set). A short manual is provided showing how lambda works.
|Tags||education Computer Aided Instruction (CAI) Scientific/Engineering Mathematics|
Release Notes: This release adds calls to the GNU readline library to make editing more convenient. It has an improved users manual.
Release Notes: An xapp setting has been added. The ext command works in a more consistent manner. A table of contents has been added to lambdamanual.
Release Notes: Lambda Manual enhancement: arithmetic examples, lists, and functional completeness proof.