[Ur] Unicode

Adam Chlipala adamc at impredicative.com
Thu Sep 17 09:17:15 EDT 2009


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 
> <adamc at impredicative.com <mailto: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."
>




More information about the Ur mailing list