txyyss/Lambda-Calculus

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

语言：TeX · GitHub 星标：387 · Fork：65

在 GitHub 上查看原仓库