On 2 October 2012 15:23, Conrad Parker <con...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe