Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
A simple example of an interpreter in JS. Evaluates lambda calculus expressions.
JavaScript
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
lib
src
tests
web
Jakefile
README.md
package.json

README.md

λ-calculus

This script parses and evaluates (untyped) lambda calculus expressions. It uses a call-by-value reduction strategy (because that was the easiest.)

Usage

It's a commonjs module, used like so:

var lambdacalc = require("lambdacalc"); // assuming it's in your load path

lambdacalc.eval("(^x.x) ^y.y"); // returns "^y.y"

REPL coming soon.

Enjoy your lambdas.

MIT X Licensed

Something went wrong with that request. Please try again.