To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996) | Dark Hacker News