@浪打貓:修订间差异
跳转到导航
跳转到搜索
Lambda.cat(讨论 | 贡献) (add bio) 标签:2017年版源代码编辑 |
Lambda.cat(讨论 | 贡献) 无编辑摘要 标签:2017年版源代码编辑 |
||
第9行: | 第9行: | ||
fun cat->cat | fun cat->cat | ||
(λqw.qwq) λwq.w(qwq) | (λqw.qwq) λwq.w(qwq) | ||
... | ... | ||
Lambda.cat(讨论 | 贡献) (add bio) 标签:2017年版源代码编辑 |
Lambda.cat(讨论 | 贡献) 无编辑摘要 标签:2017年版源代码编辑 |
||
第9行: | 第9行: | ||
fun cat->cat | fun cat->cat | ||
(λqw.qwq) λwq.w(qwq) | (λqw.qwq) λwq.w(qwq) | ||
... | ... | ||