[curry] Re: Unicode support

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 16 Dec 2019 22:57:39 +0100

Hi,

I am not aware of libraries for this purpose.
The only remark I could add is that Curry source programs have to be
encoded in UTF-8 to avoid encoding errors accross different systems.

Regards,

Michael

On 16.12.19 17:51, Volker Wysk wrote:
> 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:58:25 CET

This archive was generated by hypermail 2.3.0 : Mi Okt 28 2020 - 07:15:06 CET