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

Darren Grant therealkludgy at gmail.com
Thu Sep 27 09:30:04 CEST 2012

On Wed, Sep 26, 2012 at 11:51 PM, Chris Wong
<chrisyco+haskell-cafe at gmail.com> 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
> Haskell-Cafe at haskell.org
> 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. :)


More information about the Haskell-Cafe mailing list