[Haskell-cafe] ANNOUNCE: Sylvia, a lambda calculus visualizer

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Fri Sep 28 16:56:33 CEST 2012


> 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






More information about the Haskell-Cafe mailing list