(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
