Comment by ndrscr

I, too, did not find this very understandable when I was trying to learn Lambda Calculus for the first time. Even now, it is still quite baffling how alligators eating aligators makes more intuitive sense than the regular notation (well, at least it's recursive). In the end, I was only really able to grasp Lambda Calculus from reading a hard book.