Functors, Applicative Functors, and Monads

Lean-zh / fp-lean-zh

Lean 函数式编程

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

Other

24 stars 8 forks source link

Open Deep0Thinking opened 1 month ago

Deep0Thinking commented 1 month ago

OlingCat commented 2 weeks ago

@Deep0Thinking 戳戳，进度咋样了0.0？

Deep0Thinking commented 2 weeks ago

@OlingCat 哦哦不好意思！前面有点忙，暂时搁置了一下，今晚我会把 "applicative.md" 翻译好

OlingCat commented 1 week ago

@OlingCat 哦哦不好意思！前面有点忙，暂时搁置了一下，今晚我会把 "applicative.md" 翻译好

那我就等着你的翻译咯~

Deep0Thinking commented 1 week ago

嗯嗯好的！