[Ur] Ur reference manual and XML

[Vasili I. Galchin]

Hello,

      I have been reading the demo source code. I read the Section 8.5 on
XML in the ref manual. If I understand the narrative, it seems there is no
formal semantics for XML values. Rather I should read the .ur source that
implements the operational semantics of XML. Is this true?

Regards,

Bill
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20110812/9ad8913d/attachment.html>