Projects / lambda


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.


Recent releases

  •  15 Dec 2003 03:53

    Release Notes: This release adds calls to the GNU readline library to make editing more convenient. It has an improved users manual.

    •  20 Aug 2003 21:13

      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.

      •  19 Aug 2003 21:17

        Release Notes: Lambda Manual enhancement: arithmetic examples, lists, and functional completeness proof.

        •  16 Aug 2003 10:11

          Release Notes:


          Project Spotlight


          A Fluent OpenStack client API for Java.


          Project Spotlight

          TurnKey TWiki Appliance

          A TWiki appliance that is easy to use and lightweight.