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

Move stuff from bulkEdit to meta

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 22 Oct 2009 11:51:31 -0400
parents	d3af9e54c828
children	59097824f19b

rev	line source
adamc@1001	1 functor Make(M : sig
adamc@1003	2 con paper :: {(Type * Type)}
adamc@1008	3 constraint [Id, Document] ~ 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@1001	12 end) : sig
adamc@1001	13
adamc@1001	14 val main : unit -> transaction page
adamc@1001	15
adamc@1001	16 end

Mercurial > urweb