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>
|