Lambda 0.1.4

Lambda project is a Lambda calculus interpreter.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
GPL (GNU General Public License) 
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Unique Software Designs
HOMEPAGE:
uniquesoftwaredesigns.com
CATEGORY:
ROOT \ Education
Lambda project is a 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.

Here are some key features of "Lambda":

· Load predefined lambda expression
· Many definitions provided: numbers Y fact map iszero list 1st 2nd 3rd ADD MUL EXP list suc pred . . .
· Automatic number definitions.
· Interpret lambda expressions.
· Single step interpretation.
· Normal or application order reductions.
· Variable extraction (Conversion to S K I)
· List definitions.
· Some lambda calculus theory.

Requirements:

· libstdc++

What's New in This Release:

· Add xapp flag for ext command.
· Made ext behave consistently when extracting constant expressions.
· Add preprocessing for user manual. This automatically inserts a table of contents and does character entity translations.

Last updated on October 18th, 2006

#calculus interpreter #lambda expressions #Lambda integers #lambda #calculus #interpreter #integers

Add your review!

SUBMIT