issues
search
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
use and documentation of variable syntax
#8
TentativeConvert
opened
2 weeks ago
5
[Add warning about] line breaks in .pot files [to the documentation?]
#7
TentativeConvert
opened
2 weeks ago
2
bug: cannot use FFI to get system time
#6
joneugster
opened
5 months ago
0
duplicated entries
#5
joneugster
closed
7 months ago
1
Add support of `#~`
#4
joneugster
closed
5 months ago
1
.pot generated with duplicated msgid
#3
JiechengZhao
closed
5 months ago
1
feat: support dependent packages
#2
joneugster
opened
7 months ago
0
escape `"` and `\`
#1
joneugster
closed
7 months ago
1