Hi!
I'm wondering if Curry (or rather a specific implementation of curry?)
supports Unicode? Does it have a string type of Unicode-code points?
And does it have, for instance, a Unicode-aware function to get the
upper case if a letter? Or, is there a Unicode-aware collation
function?
I googled, but there wasn't found much.
Cheers,
Volker
_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Mo Dez 16 2019 - 22:57:53 CET