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

[Darren Grant]

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. :)

Cheers,
Darren