Mercurial > urweb

table t : {Id : int, A : string, B : float}
  PRIMARY KEY Id

structure B = BatchFun.Make(struct
                                val tab = t
                                val title = "BatchG"
                                val cols = {A = BatchFun.string "A",
                                            B = BatchFun.float "B"}
                            end)

fun main () = return <xml><body>
  <form><submit value="Begin demo" action={B.main}/></form>
</body></xml>
author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 16 Apr 2009 15:38:01 -0400
parents	1a317a707d71
children	a44daa674810