即将离开知乎

您即将离开知乎，请注意您的账号和财产安全。

https://blog.ruo-chen.wang/2021/04/lambda-calculus-from-the-ground-up.html#%E5%87%8F%E6%B3%9521215