Mercurial > urweb

annotate demo/more/conference.urs @ 1009:59097824f19b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Viewing papers
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 12:16:31 -0400
parents 1911e84df461
children 6b0f3853cc81
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@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