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
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
