28 Sep
2012
28 Sep
'12
10:56 a.m.
Sylvia is a lambda calculus visualizer.
Such a thing is certainly nice to have. I use this one for teaching: http://joerg.endrullis.de/lambdaCalculator.html