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

[Alistair Bayley]

On 2 October 2012 15:23, Conrad Parker <conrad at metadecks.org> wrote:
>
> I'd love to see a game which incrementally teaches reduction and
> expansion steps in the way that DragonBox [http://dragonboxapp.com/]
> teaches algebra. That would be a learning mode like Angry Birds, where
> new combinator birds are introduced every few levels and a small
> selection of useful birds are provided to help solve each level.
>
> (Lambda calculus really should be a kids' game, grown-ups always make
> it seem more complex than it is).

Not sure if it's what you're after, but I was reminded of this (models
untyped lambda calculus):
  http://worrydream.com/AlligatorEggs/

Alistair