search

Lean-zh / fp-lean-zh

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

build the Chinese version. #12

Closed JiechengZhao closed 3 months ago

JiechengZhao commented 3 months ago

Now 

MDBOOK_BOOK__LANGUAGE=zh-CN mdbook build

will build the book.

OlingCat commented 3 months ago

见 #14