Mercurial > urweb

annotate demo/more/conference.urs @ 1007:d3af9e54c828

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Title and abstract
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:37:58 -0400
parents 5a0f6ec208ce
children 1911e84df461
rev   line source
adamc@1001 1 functor Make(M : sig
adamc@1003 2 con paper :: {(Type * Type)}
adamc@1007 3 constraint [Id] ~ 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