These diagrams are interesting too: http://homepages.cwi.nl/~tromp/cl/diagrams.html http://homepages.cwi.nl/~tromp/cl/diagrams.html There is also Bret Victor's

These diagrams are interesting too: http://homepages.cwi.nl/~tromp/cl/diagrams.html http://homepages.cwi.nl/~tromp/cl/diagrams.html There is also Bret Victor's Alligator Eggs game: http://worrydream.com/AlligatorEggs/ http://worrydream.com/AlligatorEggs/ I know about these because I'm currently trying to learn λ-calculus by deriving and implementing functions in CoffeeScript: https://github.com/rbonvall/lambda-coffee/blob/master/lambda.coffee https://github.com/rbonvall/lambda-coffee/blob/master/lambda...