if it were up to me, I'd make it more automatic in the low-level C APIs, but it works well enough in practice.
-
-
actually my bad, that case can be handled by cmp'ing string.chars().flat_map(normalize_char_to_chars).
-
I need to look this up again; there's cases where you need to normalize graphclusters (which are unbounded)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.