Python lambda calculus module 1.0 review

Download

Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus. It understands the diffe

License:	GPL (GNU General Public License)
File size:	14K
Developer:	Erik Max Francis

Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus.

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.

Notations for lambda expressions vary slightly, so it is instructive to detail the precise notation used by this module. A variable is expressed with a string of alphanumeric characters, e.g., x or abc1.

What's New in This Release:
Initial release.

Python lambda calculus module 1.0 screenshot
Zoom

Python lambda calculus module 1.0 keywords

Python lambda calculus module 1.0: Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus. It understands the diffe
Lambda 0.1.4: Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators
A practical lambda-calculator 2.2: A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shor
Hugs 98 (March2005): Hugs 98 is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages
JEvaluator 0.6: JEvaluator project is a Java class that implements a quick and flexible mathematical expressions parser and evaluator. Complex mat
Language::Basic::Expression 1.44: Language::Basic::Expression is a Perl package to handle string, numeric, and boolean expressions. SYNOPSIS See Language::Basic
Vala 0.0.5: Vala is a new programming language that aims to bring modern programming language features to GNOME developers without imposing any a

Python lambda calculus module 1.0 review

Alternative/similar