“Lambda Calculus” by Carl Burch, Hendrix College, September 2012 | Hacker News Reader