18_lambda-calculus-understanding-the-syntax.md

$$ (λx.x+1)((λy.y+2)3) $$

1. 计算 $(λy.y+2)3$ 得到 $5$。
2. 用 $5$ 替换 $(λx.x+1)$ 中的 $x$，得到结果 $6$。

6