[Ur] Unicode
nitralime
nitralime at googlemail.com
Thu Sep 17 08:57:48 EDT 2009
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>
More information about the Ur
mailing list