Ur/Web: demo/more/conference.urs annotate

Initial support for char in SQL

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 22 Oct 2009 16:15:56 -0400
parents	6b0f3853cc81
children	4de35df3d545

rev	line source
adamc@1001	1 functor Make(M : sig
adamc@1003	2 con paper :: {(Type * Type)}
adamc@1010	3 constraint [Id, Document, Authors] ~ paper
adamc@1004	4 val paper : $(map Meta.meta paper)
adamc@1007	5 val paperFolder : folder paper
adamc@1003	6
adamc@1001	7 con review :: {(Type * Type)}
adamc@1003	8 constraint [Paper, User] ~ review
adamc@1004	9 val review : $(map Meta.meta review)
adamc@1011	10 val reviewFolder : folder review
adamc@1006	11
adamc@1006	12 val submissionDeadline : time
adamc@1009	13 val summarizePaper : $(map fst paper) -> xbody
adamc@1001	14 end) : sig
adamc@1001	15
adamc@1001	16 val main : unit -> transaction page
adamc@1001	17
adamc@1001	18 end

Mercurial > urweb