search

Lean-zh / fp-lean-zh

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

Fix typo and translate, for ch5. #33

Closed lunaticabs closed 2 months ago

lunaticabs commented 2 months ago

以下对应于commit中的三处修改：

  1. 去掉多余的 "。
  2. 建议将“个” 改为 “次”，这样可以避免歧义（两个_列表_查找）。
  3. 是否应该按照习惯翻译为“归约”？
OlingCat commented 2 months ago

是的，一般化简对应 simplify，reduce 一般译作归约