You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

History

Bulhwi Cha 64670d1579 fix `config.json` and add Korean translation * In the `config.json` file, the ISO code representing Korean should be `ko`, not `kr`. * Remove the `client/public/locales/kr` subdirectory. * Add the `client/public/locales/ko` subdirectory, which itself is the OmegaT project for the Korean translation of `lean4game`. OmegaT[0] is a translation memory application intended for professional translators. I use it to translate English documentation into Korean. [0] https://omegat.org/	2 years ago
..
README.md	fix `config.json` and add Korean translation	2 years ago
translation.json	fix `config.json` and add Korean translation	2 years ago

Bulhwi Cha 64670d1579 fix `config.json` and add Korean translation

* In the `config.json` file, the ISO code representing Korean should be
  `ko`, not `kr`.
* Remove the `client/public/locales/kr` subdirectory.
* Add the `client/public/locales/ko` subdirectory, which itself is the
  OmegaT project for the Korean translation of `lean4game`.

OmegaT[0] is a translation memory application intended for professional
translators. I use it to translate English documentation into Korean.

[0] https://omegat.org/

README.md

fix `config.json` and add Korean translation

translation.json

fix `config.json` and add Korean translation

README.md

Lean 4 Game

English | 한국어[Korean]

Contributing

Contributions to the Korean translation of lean4game are always welcome!

Korean Translation

I (Bulhwi Cha) use OmegaT to translate English documentation into Korean. The OmegaT project is in this directory, that is, client/public/locales/ko. You need to install the Okapi filters plugin for OmegaT to make OmegaT parse JSON files.