Lisp

I'm learning about lambda calculus, the mathematical foundation of Lisp. It defines an incredibly expressive system. The Church encodings finally clicked for me.