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) | ||
... | ... | ||
次編輯