Tony Finch's link log
2007-05-08: A graphical notation for the lambda calculus with animated reduction.
(long)
(short)
(atom)
(wayback machine)