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

authorship table

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 22 Oct 2009 14:05:48 -0400
parents	59097824f19b
children	16f7cb0891b6

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@1006	10
adamc@1006	11 val submissionDeadline : time
adamc@1009	12 val summarizePaper : $(map fst paper) -> xbody
adamc@1001	13 end) : sig
adamc@1001	14
adamc@1001	15 val main : unit -> transaction page
adamc@1001	16
adamc@1001	17 end

Mercurial > urweb