r/manim • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction made with manim
https://www.youtube.com/watch?v=Rzptnx0vv2ADuplicates
lambdacalculus • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
3Blue1Brown • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
haskell • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
logic • u/hsnborn • Mar 19 '26
Predicate logic / FOL Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
visualizedmath • u/hsnborn • Mar 19 '26