search

Lean-zh / fp-lean-zh

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

Programming with Dependent Types #40

Closed jiangsy closed 4 months ago

jiangsy commented 4 months ago

@OlingCat 有几个名字可能需要统一一下 argument <-> parameter pattern <-> schema tactics

jiangsy commented 4 months ago

@OlingCat 第8章翻译的初稿已经完成了