The "Quick introduction to lambda calculus" section is good. If you're looking to really learn about it for the first time, I wrote Exploring the Lambda Calculu

The "Quick introduction to lambda calculus" section is good. If you're looking to really learn about it for the first time, I wrote Exploring the Lambda Calculus with Python: https://matthodges.com/posts/2022-07-17-exploring-lambda-calculus-python/ https://matthodges.com/posts/2022-07-17-exploring-lambda-cal...