An introduction to lambda calculus in Chinese, including an interpreter in Haskell. - View it on GitHub