Skip to content

v0.0.4

Choose a tag to compare

@sinianluoye sinianluoye released this 23 Jun 15:10
· 44 commits to main since this release
649a1b3

What's Changed

  • update readme and template by @sinianluoye in #13
  • 1.add translation of chapter4 Types.lean, 2.add zhdocstring 3.update … by @sinianluoye in #15
    1. 为Types.lean 添加tag避免页面报错 2.让zhdocstring支持対属性和构造子的翻译文档 by @sinianluoye in #16

Full Changelog: v0.0.3...v0.0.4