Adam Chlipala wrote:
More interesting is some HTML parsing code which I just added to the Meta library (that I announced yesterday). This will let you convert arbitrary strings into verified HTML, and the library is implemented entirely within Ur. See the [Html] module and the "testHtml" test.
...and I forgot once again to say that this code requires a compiler improvement that I just added, so you'll need the latest Ur/Web source from hg.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
