[curry] Unicode support

From: Volker Wysk <post_at_volker-wysk.de>
Date: Mon, 16 Dec 2019 17:51:58 +0100

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

This archive was generated by hypermail 2.3.0 : Mo Sep 28 2020 - 07:15:04 CEST