Projects / Python lambda calculus module

Python lambda calculus module

The Python lambda calculus module allows simple experimentation with the lambda calculus, which was first developed by Church. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions by means of application.

Tags
Licenses
Implementation

Recent releases

  •  02 Feb 2002 23:48

    No changes have been submitted for this release.

    Screenshot

    Project Spotlight

    OpenStack4j

    A Fluent OpenStack client API for Java.

    Screenshot

    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.