1 Oct
2012
1 Oct
'12
11:16 p.m.
On 2 October 2012 15:23, Conrad Parker
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