annotate demo/metaform2.ur @ 1708:e263dab7b579

Optimize code from last changeset a bit
author Adam Chlipala <adam@chlipala.net>
date Sun, 08 Apr 2012 16:29:28 -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>