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
Welcome to the diversion.
fun main () = return
See something shiny!
Fill out a form!