I wasn't planning on it for the next few months, but I have a feeling it
would not be a big deal and would mostly involve generation of C and
JavaScript code that calls different standard library functions for
string manipulation.
nitralime wrote:
Is there any plan to implement it in "near" future?
On Thu, Sep 17, 2009 at 1:13 PM, Adam Chlipala
<[email protected] <mailto:[email protected]>> 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
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
