Post

I learned Lambda Calculus years ago through this interactive tutorial and it blew my mind. lambdaexplorer.com It was my first introduction to the idea that you could actually compute things using only substitution, and that the meaning of a program comes from the way it interfaces with world.