用 8 道练习题集中训练 α/β 变换与变量捕获规避的手感。
2026-01-29
ch9 lambda演算
从最基础的 λ 表达式出发，理解归约规则和计算直觉。
2026-01-28