Mercurial > urweb
comparison demo/metaform2.ur @ 418:ad7e854a518c
Metaform demos, minus prose
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 23 Oct 2008 14:03:12 -0400 |
| parents | |
| children | 6c4643880df5 |
comparison
equal
deleted
inserted
replaced
| 417:e0e9e9eca1cb | 418:ad7e854a518c |
|---|---|
| 1 structure MM = Metaform.Make(struct | |
| 2 val names = {X = "x", Y = "y"} | |
| 3 end) | |
| 4 | |
| 5 fun diversion () = return <xml><body> | |
| 6 Welcome to the diversion. | |
| 7 </body></xml> | |
| 8 | |
| 9 fun main () = return <xml><body> | |
| 10 <li> <a link={diversion ()}>See something shiny!</a></li> | |
| 11 <li> <a link={MM.main ()}>Fill out a form!</a></li> | |
| 12 </body></xml> |