[Ur] CMS like features ? unsafe XML - encodings?

[Adam Chlipala]

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.