Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
abhinav sarkar
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction - http://dkeenan.com/Lambda...