[curry] Re: Unicode support

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


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.



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
Received on Mo Dez 16 2019 - 22:58:25 CET

This archive was generated by hypermail 2.3.0 : Di Nov 28 2023 - 07:15:15 CET