annotate demo/metaform2.ur @ 1316:df7bfb30dcc3

More hnormKind for isUnitCon
author Adam Chlipala <adam@chlipala.net>
date Sat, 13 Nov 2010 14:38:06 -0500
parents 6302b10dbe0e
children
rev   line source
adamc@418 1 structure MM = Metaform.Make(struct
adamc@418 2 val names = {X = "x", Y = "y"}
adamc@418 3 end)
adamc@418 4
adamc@418 5 fun diversion () = return <xml><body>
adamc@418 6 Welcome to the diversion.
adamc@418 7 </body></xml>
adamc@418 8
adamc@418 9 fun main () = return <xml><body>
adamc@418 10 <li> <a link={diversion ()}>See something shiny!</a></li>
adamc@418 11 <li> <a link={MM.main ()}>Fill out a form!</a></li>
adamc@418 12 </body></xml>