An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
JavaScript
Failed to load latest commit information.
.htaccess
README.rdoc
app.js
compatibility.js
default.css
index.xhtml
lambda.css
lambda.js
pp.js Reduce redundant code. Mar 25, 2010
ui.js

README.rdoc

LambdaJS

LambdaJS is an interpreter of Lambda calculus written in JavaScript. It accepts terms of Lambda calculus written in JavaScript syntax.

Supported browsers and known issues

  • Firefox 3.6

  • Google Chrome 4.1

  • Internet Explorer 8.0

    • runs the last example too slowly

  • Opera 10.51

    • doesn't respond correctly to some key inputs on the console

  • Safari 4.0

Features

  • Written in JavaScript and no need for server-side execution

  • Visualizes reduction steps

  • Allows users to choose evaluation strategy

  • Accepts syntax of Lambda calculus, JavaScript or mixture of both

Key bindings on the console

Enter

run

Ctrl+L

clear the screen

Ctrl+P, up arrow

previous input

Ctrl+N, down arrow

next input

\ (backslash)

input λ

Running example

See labs.orezdnu.org/lambda .