https://github.com/zaach/lambdacalc

A simple example of an interpreter in JS. Evaluates lambda calculus expressions.
https://github.com/zaach/lambdacalc

Last synced: about 1 month 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 (almost 15 years ago)
• Default Branch: master
• Last Pushed: 2010-04-25T22:32:27.000Z (over 14 years ago)
• Last Synced: 2024-04-16T00:26:34.664Z (8 months ago)
• Language: JavaScript
• Homepage: http://zaach.github.com/lambdacalc/
• Size: 109 KB
• Stars: 15
• Watchers: 3
• 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