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

Alistair Bayley alistair at abayley.org
Tue Oct 2 05:16:55 CEST 2012

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


More information about the Haskell-Cafe mailing list