I’m surprised no one mentioned Alligator Eggs yet. An introduction to untyped lambda calculus: http://worrydream.com/AlligatorEggs/ -- Anthony Ramine Le 21 juin 2014 à 03:25, Miles Fidelman <mfidelman@REDACTED> a écrit : > Whoa that brings me back.