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

翻译规范 #1

Open
Open
翻译规范#1
Assignees
OlingCat
Labels
good first issueGood for newcomers

Description

@OlingCat
OlingCat
opened on Apr 9, 2024

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

Activity

  1. OlingCat
    added
    documentationImprovements or additions to documentation
    on Apr 9, 2024
  2. OlingCat
    self-assigned this
    on Apr 9, 2024
  3. OlingCat
    added this to FPLean 翻译流程on Apr 9, 2024
  4. OlingCat
    added
    good first issueGood for newcomers
    and removed
    documentationImprovements or additions to documentation
    on Apr 9, 2024
  5. OlingCat
    pinned this issue on Apr 9, 2024
  6. OlingCat
    moved this to 待译 in FPLean 翻译流程on Apr 9, 2024
  7. OlingCat
    moved this from 待译 to No status in FPLean 翻译流程on Jun 7, 2024
  8. OlingCat
    removed this from FPLean 翻译流程on Jun 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

good first issueGood for newcomers

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions