Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1008:1911e84df461 1009:59097824f19b
7 con review :: {(Type * Type)} 7 con review :: {(Type * Type)}
8 constraint [Paper, User] ~ review 8 constraint [Paper, User] ~ review
9 val review : $(map Meta.meta review) 9 val review : $(map Meta.meta review)
10 10
11 val submissionDeadline : time 11 val submissionDeadline : time
12 val summarizePaper : $(map fst paper) -> xbody
12 end) : sig 13 end) : sig
13 14
14 val main : unit -> transaction page 15 val main : unit -> transaction page
15 16
16 end 17 end