Mercurial > urweb

annotate demo/more/conference.urs @ 1006:5a0f6ec208ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checking deadline; sign-in
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:15:37 -0400
parents a87495bcaeec
children d3af9e54c828
rev   line source
adamc@1001 1 functor Make(M : sig
adamc@1003 2 con paper :: {(Type * Type)}
adamc@1003 3 constraint [Id, Title] ~ paper
adamc@1004 4 val paper : $(map Meta.meta paper)
adamc@1003 5
adamc@1001 6 con review :: {(Type * Type)}
adamc@1003 7 constraint [Paper, User] ~ review
adamc@1004 8 val review : $(map Meta.meta review)
adamc@1006 9
adamc@1006 10 val submissionDeadline : time
adamc@1001 11 end) : sig
adamc@1001 12
adamc@1001 13 val main : unit -> transaction page
adamc@1001 14
adamc@1001 15 end