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