[Ur] blessXml again

Adam Chlipala adamc at csail.mit.edu
Wed Oct 9 08:41:13 EDT 2013


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
>    




More information about the Ur mailing list