My little corner of the Internet 🙌 Zola 2025-10-05T18:16:06+00:00 https://ankit.earth/tags/lisp/atom.xml 2025-10-05T18:16:06+00:00 2025-10-05T18:16:06+00:00 Ankit Gadiya https://ankit.earth/microblog/1759668366/ <p>I'm learning about lambda calculus, the mathematical foundation of Lisp. It defines an incredibly expressive system. The <em>Church encodings</em> finally clicked for me.</p>