On Wed, Sep 26, 2012 at 11:51 PM, Chris Wong <[email protected]> wrote: > Hello all > > Some of you in the audience may have read Dave Keenan's paper, [To > Dissect a Mockingbird][]. A subset of that may have wondered if it was > possible to generate those pretty pictures programmatically. For that > subset, I can answer to you -- yes, yes you can. > > [To Dissect a Mockingbird]: http://dkeenan.com/Lambda/ > > Sylvia is a lambda calculus visualizer. It takes in an expression in > the untyped lambda calculus and spits out a pretty picture. > > This is still in very early alpha, but it renders a fair number of > combinators correctly. I plan to add animated reduction (once I figure > out how to do it), and eventually develop this into a sandbox game of > some sort. I'm hoping to get some comments and ideas on how I can take > it from here. > > > Obligatory links > ---------------- > > Hackage: http://hackage.haskell.org/package/sylvia > > Source: https://github.com/lfairy/sylvia > > Documentation: https://github.com/lfairy/sylvia/wiki > > ---------------- > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe
This is actually a lot of fun, thanks for sharing! I am looking forward to the animated reductions. :) Cheers, Darren _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
