My prediction was that the article would talk about: abstraction, application, and variables. https://en.wikipedia.org/wiki/Lambda_calculus https://en.wikiped

My prediction was that the article would talk about: abstraction, application, and variables. https://en.wikipedia.org/wiki/Lambda_calculus https://en.wikipedia.org/wiki/Lambda_calculus