[Ur] Unicode

Adam Chlipala adamc at impredicative.com
Thu Sep 17 07:13:20 EDT 2009


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