28 Sep
2012
28 Sep
'12
2:56 p.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