翻译规范 · Issue #1 · Lean-zh/fp-lean-zh · GitHub

翻译规范 #1

Open

Assignees

Labels

good first issue

opened

可参考 Agda-zh/PLFA-zh#1 的翻译规范，之后视情况修改。

Metadata

Assignees

OlingCat

Labels

good first issue

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests