Lambda Calculus
Lambda Calculus
Not logged in

This repository currently resides at Chiselapp. If you have cloned it from tinyconcepts.com or elsewhere, please sync with the chiselapp repository (and verify with that repository that there is no additional forwarding information :) ).

Lambda Calculator Fossil archive (Fossil is like Git) Notes

By Bill Burdick (bill dot burdick at gmail dot com)

This is maybe a little more than three implementations of untyped Lambda Calculus in JavaScript:

The virtual machine is still a bit buggy :).

Here are some overview slides

Here is the calculator

Clicking the "Run" button compiles all of the LC code to JavaScript and runs the selected one. The "Reduce" button shows the intermediate alpha, beta, and eta reductions required to reduce an LC expression.

There is a small version of Space Invaders, written in Lambda Calculus, here: http://tinyconcepts.com/invaders.html. It's also available in this repository, but the image links work better from a regular web server. It's not finished, yet :)

Resources