会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
luozhonghao
我对自己的要求很低:我活在世上,无非想要明白些道理,遇见些有趣的事。倘能如我愿,我的一生就算成功。
管理
church计数
(define zero (lambda(f) (lambda(x)x))) (define (add
-
1
n) (lambda(f)(lambda(x)(f((n f)x)))))
luozh@bupt.edu.cn
posted @
2018-10-06 19:44
luozhonghao
阅读(
208
) 评论(
0
)
编辑
收藏
举报
会员力量,点亮园子希望
刷新页面
返回顶部