Slides: http://www.slideshare.net/melvinzhang/functional-programming-from-first-principles

Completed demo file: https://github.com/melvinzhang/lambda-calculus-talk/blob/master/demo-done.lam

To follow the demo:

git clone https://github.com/melvinzhang/lambda-calculus-talk
git clone https://github.com/melvinzhang/binary-lambda-calculus
cp lambda-calculus-talk/demo-done.lam binary-lambda-calculus
cd binary-lambda-calculus

Open demo-done.lam in a text editor and open a terminal in another window, then follow the instructions in demo-done.lam