hhu-adam / lean-i18n

i18n library for Lean.
https://reservoir.lean-lang.org/@hhu-adam/i18n
Apache License 2.0
6 stars 0 forks source link

feat: support dependent packages #2

Open joneugster opened 7 months ago

joneugster commented 7 months ago

Implement a solution to allow translated projects to depend on each other.

I think t!"" and others should save the untranslated strings grouped by project name so that lake exe i18n -t can only extract the strings from the project itself.

Needs some thinking about the layout where translations are stored and how they are retrieved for dependencies.