[m-users.] Unicode character ordering
Volker Wysk
post at volker-wysk.de
Fri Oct 11 23:32:23 AEDT 2019
Hi
The unicode support of mercury looks like it's incomplete... In
particular, I'm looking for a unicode character ordering function. The
standard ordering does a bad job with unicode characters.
For Haskell, there is the RFC5051 library, which defines a unicode char
ordering. It works pretty well.
Perhaps I could port it from Haskell to Mercury...
Cheers,
Volker
More information about the users
mailing list