annotate demo/metaform2.ur @ 2034:1d36654c2d21

Fix uw_Basis_lt_time
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Jun 2014 08:31:21 -0400
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>