search

Lean-zh / fp-lean-zh

Lean 函数式编程
https://www.leanprover.cn/fp-lean-zh/
Other
26 stars 9 forks source link

Monads #26

Closed Qiu233 closed 5 months ago

Qiu233 commented 5 months ago

翻译了Monads大部分，还有几篇短的之后抽空翻吧，最近有点忙先合并大部分。

冲突应该是PO导致的，可以直接丢弃PO的更改。