« Home
Lambda 化
[tt-000D]
Lîm Tsú-thuàn
最後進行 abstraction，就得到了
λ
1.
λ
2.1
\lambda 1. \lambda 2. 1
λ
1.
λ
2.1