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 .