Add Mandarin translation for "Functors, Applicative Functors, and Monads" - Githubissues

Lean-zh / fp-lean-zh

Lean 函数式编程

https://www.leanprover.cn/fp-lean-zh/

Other

26 stars 9 forks source link

Add Mandarin translation for "Functors, Applicative Functors, and Monads" #41

Closed Deep0Thinking closed 3 months ago