annotate demo/metaform2.ur @ 1161:2ae57fa551be

Update manual with Gian's experience building in OS X
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Feb 2010 09:51:21 -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>