txyyss/Lambda-Calculus
An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
TeX
Stargazers
- 404pnf
- alaxwang
- billryanByteDance
- CJexChina，上海
- ctliu3Beijing
- cupen我们技术有限公司
- cxl42
- czyno1
- easoncxz
- emctooShinetech
- Evileast
- fenpraceMelbourne
- flytkglchina
- gekailin
- hukun01WA, US
- jeffcaiShanghai China
- johnnyqianMicrosoft
- jokester@ihate-work
- kahaani
- letohTaiwan
- lixiaoyanBeijing, China
- marrowleavesShanghai, China
- nixzhu
- ofan
- pengli09Tsinghua University
- pwq1989
- qingliangcn广州阿尔法网络技术有限公司
- shouyaOpen for Hire!
- tarrexBeijing, China
- tioover
- wangfan233Airbnb
- waverim
- xinchoubiologyChina
- xipfsxipfs.net
- xuewei4dUSA
- yalan1903