[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