we
co
so
bm
stills
2025-11-24
calculus
diagram
lambda
math
Lambda Calculus – Animated Beta Reduction of Lambda Diagrams