The λ Calculus

Note: This is a slightly edited reposting of an Observable notebook originally published in 2021. I had not really understood what Lambda-calculus was or why it was important until I saw David Beazley’s talk Lambda Calculus from the Ground Up . I watched in amazement as Beazley turned a few simple functions into a universal computing machine. My goal here is to share that same experience with you.…