标签：pre col code class 有趣的 lam 知识 小知识 fine
(define zero (lambda(f) (lambda(x)x))) (define (add-1 n) (lambda(f)(lambda(x)(f((n f)x)))))
一个有趣的小知识-church计数
原文地址：https://www.cnblogs.com/luozhonghao/p/9748208.html
