Tony Finch's link log

• 2007-05-08: A graphical notation for the lambda calculus with animated reduction. (long) (short) (atom) (wayback machine)