https://github.com/zaach/lambdacalc
A simple example of an interpreter in JS. Evaluates lambda calculus expressions.
https://github.com/zaach/lambdacalc
Last synced: 25 days ago
JSON representation
A simple example of an interpreter in JS. Evaluates lambda calculus expressions.
- Host: GitHub
- URL: https://github.com/zaach/lambdacalc
- Owner: zaach
- Created: 2010-03-11T05:59:55.000Z (over 15 years ago)
- Default Branch: master
- Last Pushed: 2010-04-25T22:32:27.000Z (about 15 years ago)
- Last Synced: 2025-05-06T01:37:24.156Z (2 months ago)
- Language: JavaScript
- Homepage: http://zaach.github.com/lambdacalc/
- Size: 109 KB
- Stars: 16
- Watchers: 2
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
[λ-calculus](http://en.wikipedia.org/wiki/Lambda_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