idris2-tutorial icon indicating copy to clipboard operation
idris2-tutorial copied to clipboard

Published 20 hours ago • verified publisher icon stefan-hoeck

[ wip ] chinese transition

Open running-grass opened this issue 2 years ago • 1 comments

use po4a extra po file. tranlate working on self-host weblate.

running-grass avatar Aug 09 '22 03:08 running-grass

I don't know whether it is possible to merge, so I put it here for the time being for people with the same idea to see.

running-grass avatar Aug 09 '22 03:08 running-grass

I'm wondering: I have no chance of maintaining this translation. Would it make sense to have this in a separate repo and link to it from the README?

stefan-hoeck avatar Dec 06 '22 10:12 stefan-hoeck

I think so. it should link to https://github.com/running-grass/idris2-tutorial-zh/blob/main/translation/README.md

running-grass avatar Dec 06 '22 11:12 running-grass