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

escape `"` and `\` #1

Closed joneugster closed 7 months ago

joneugster commented 8 months ago

see https://github.com/leanprover-community/NNG4/issues/56

joneugster commented 7 months ago

I believe I fixed this.