summaryrefslogtreecommitdiff
path: root/demo/metaform2.ur
blob: 87d40b187567c5372a89a39cf20a47308184e8c7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
structure MM = Metaform.Make(struct
                                 val names = {X = "x", Y = "y"}
                                 val fl = Folder.cons [#X] [()] ! (Folder.cons [#Y] [()] ! Folder.nil)
                             end)

fun diversion () = return <xml><body>
  Welcome to the diversion.
</body></xml>

fun main () = return <xml><body>
  <li> <a link={diversion ()}>See something shiny!</a></li>
  <li> <a link={MM.main ()}>Fill out a form!</a></li>
</body></xml>