view tests/html.lac @ 92:1a4c51fa615c

XML tags with contents
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:02:42 -0400
parents 4327abd52997
children 94afff1ff7f6
line wrap: on
line source
val text : xml[Html] = <html>
        <head>
                <title>Hello World!</title>
        </head>
</html>