A Brief Look at Untyped Lambda Calculus

149 · Gints Dreimanis · May 11, 2022, 4:41 p.m.
Lambda calculus is a theoretic framework used to define the meaning of computation in languages like Haskell, Agda, Idris, and others. In this article, we introduce you to lambda calculus by exploring its untyped variant....