(without really teaching it)

It’s Alligator Eggs!, a logic/puzzle game which uses alligators, their eggs and notions of familial bond and hunger to teach the basics of the (untyped) lambda calculus. I tend to cringe at “edutainment”, but this is just too cutesy to not love.