Tag: haskell


lambda calculus primer

Lambda (λ) calculus primer: from the basics to complete programs

https://www.youtube.com/watch?v=9MtE5ONrQyk

The content of these articles is also available as a full-length video: Lambda (λ) Calculus Primer!

This is the landing page for the "Lambda Calculus Primer" series of articles.

Articles (links will be updated as articles are published):

  1. What is the lambda (λ) calculus?
  2. Bound vs. free variables in the lambda (λ) calculus
  3. Delta (δ) rules in the lambda (λ) calculus