[Ur] Unicode

[nitralime]

Is there any plan to implement it in "near" future?

On Thu, Sep 17, 2009 at 1:13 PM, Adam Chlipala <adamc at impredicative.com>wrote:

> nitralime wrote:
>
>> Does Ur/Web support unicode?
>>
>
> I haven't done any implementation work specific to Unicode.  I don't know
> if some aspects might happen to "just work."
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20090917/f3babc72/attachment.htm>