Is there any plan to implement it in "near" future? On Thu, Sep 17, 2009 at 1:13 PM, Adam Chlipala <[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 >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
