Lambda Tutorial

Chris Barker presents an interactive tutorial on the lambda calculus (via LtU).