Skip to content

Fix some zh translations #157

Open
Narukara wants to merge 1 commit into
leanprover-community:mainfrom
Narukara:patch
Open

Fix some zh translations #157
Narukara wants to merge 1 commit into
leanprover-community:mainfrom
Narukara:patch

Conversation

@Narukara

@Narukara Narukara commented Jul 4, 2026

Copy link
Copy Markdown
  • Fix a full-width typo in Tutorial World level 8
  • Fix duplicated Chinese translation in Tutorial World level 7
  • Fix untranslated text in Tutorial World level 2

Note: I am currently working through this game, so I may continue adding small fixes as I encounter them.

@Narukara Narukara changed the title Fix typo Fix some zh translations Jul 5, 2026
@Narukara Narukara marked this pull request as ready for review July 5, 2026 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant