Mercurial > urweb
annotate demo/more/conference.urs @ 1006:5a0f6ec208ce
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 |