[Ur] blessXml again

[Adam Chlipala]

Sure, Meta is actively maintained and linked from the libraries page:
     http://www.impredicative.com/ur/libraries.html

You want its Html module.

On 10/09/2013 05:36 AM, Sergey Mironov wrote:
> Adam, I've found 3-year old letter [1] where you wrote about ways of
> implementing blessXml function. You mentioned Meta library but I can't
> find it's sources. Is it still alive? May a have a look?
>
> Regards,
> Sergey
>
>
> [1] - http://www.impredicative.com/pipermail/ur/2010-December/000426.html
>