Lambda calculus is a way of doing computation using only function abstraction and application. This is based heavily on these two videos.
All of the black text areas on this page are editable and reevaluate in real time. Try it out!