153
个编辑
无编辑摘要
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) | ||
... | ... | ||
个编辑