A simple example of an interpreter in JS. Evaluates lambda calculus expressions.
JavaScript
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
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