view tests/html.ur @ 251:326fb4686f60

Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 10:36:54 -0400
parents 71bafe66dbe1
children
line wrap: on
line source
val main = <html>
        <head>
                <title>Hello World!</title>
        </head>

        <body>
                <b>Hello</b> <i>World</i>!
        </body>
</html>