An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
Primary LanguageTeX