In this video we discuss the way in which you can evaluate a lambda calculus program/expression using a number of rules (delta rules, beta reduction, alpha conversion and eta conversion).

Contents:
00:30 - Video Contents Summary
00:52 - Bound vs. free variables
01:52 - Delta (δ) rules
02:31 - Beta (β) reduction
11:12 - Alpha (α) conversion
14:19 - Eta (η) conversion

This video is a clip from a longer video where we explore the lambda calculus in much more depth. See the whole video, "Lambda Calculus Primer" here:    • Lambda (λ) Calculus Primer  

Also see the Introduction to Functional Programming with Haskell course (    • Intro to Functional Programming with ...   ).

Code shown in the course is available on Github here: https://github.com/LigerLearn/intro-t...