Vasili I. Galchin wrote:
I think a lot of my misunderstanding has to do with the syntax surrounding .urp files. If there is no formal definition of the syntax/semantics of the .urp files then all is bad, Are we totally relying on examples from "demo" directory?
I wouldn't say there's a "formal semantics" out there, but there's a section of the reference manual.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
