2018年10月6日
church计数
摘要： (define zero (lambda(f) (lambda(x)x))) (define (add-1 n) (lambda(f)(lambda(x)(f((n f)x))))) 阅读全文
posted @ 2018-10-06 19:44 luozhonghao 阅读(208) 评论(0) 推荐(0) 编辑