Hacker News new | ask | show | jobs
To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996) (cs.virginia.edu)
2 points by namarkiv 4497 days ago