Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1005:c6e948ec79e9 | 1006:5a0f6ec208ce |
---|---|
4 val paper : $(map Meta.meta paper) | 4 val paper : $(map Meta.meta paper) |
5 | 5 |
6 con review :: {(Type * Type)} | 6 con review :: {(Type * Type)} |
7 constraint [Paper, User] ~ review | 7 constraint [Paper, User] ~ review |
8 val review : $(map Meta.meta review) | 8 val review : $(map Meta.meta review) |
9 | |
10 val submissionDeadline : time | |
9 end) : sig | 11 end) : sig |
10 | 12 |
11 val main : unit -> transaction page | 13 val main : unit -> transaction page |
12 | 14 |
13 end | 15 end |