Projects / Lazy-L

Lazy-L

Lazy-L is an interpreter for pure untyped lambda calculus using combinator graph reduction techniques. It is useful as a teaching tool for those studying combinator logic and lambda calculus.

Tags
Licenses
Operating Systems
Implementation

Recent releases

  •  29 Apr 2002 10:23

    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.