search

Lean-zh / fp-lean-zh

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

ch4 thans all finish, ready to merge #20

Closed lunaticabs closed 2 months ago

lunaticabs commented 3 months ago

A draft for review.

lunaticabs commented 3 months ago

调整了title.md中对“Free Book”的翻译，请留意。

lunaticabs commented 2 months ago

能否 squash and merge？