annotate demo/crud1.ur @ 636:de8333ef1a0c

Coq README
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Feb 2009 13:56:54 -0500
parents 6302b10dbe0e
children 1a317a707d71
rev   line source
adamc@421 1 table t1 : {Id : int, A : int, B : string, C : float, D : bool}
adamc@421 2
adamc@421 3 open Crud.Make(struct
adamc@421 4 val tab = t1
adamc@421 5
adamc@421 6 val title = "Crud1"
adamc@421 7
adamc@421 8 val cols = {A = Crud.int "A",
adamc@421 9 B = Crud.string "B",
adamc@421 10 C = Crud.float "C",
adamc@421 11 D = Crud.bool "D"}
adamc@421 12 end)