Mercurial > urweb

comparison demo/more/conference1.ur @ 1023:e46227efcbba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Bidding interface
author Adam Chlipala <adamc@hcoop.net>
date Sun, 01 Nov 2009 10:20:20 -0500
parents 4de35df3d545
children 53a22f46f377
comparison
equal deleted inserted replaced
1022:4de35df3d545 1023:e46227efcbba
5 Abstract = abstract} 5 Abstract = abstract}
6 val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: [])} 6 val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: [])}
7 7
8 val submissionDeadline = readError "2009-11-22 23:59:59" 8 val submissionDeadline = readError "2009-11-22 23:59:59"
9 9
10 fun summarizePaper r = cdata r.Title 10 fun summarizePaper [ctx] [[Body] ~ ctx] r = cdata r.Title
11 11
12 functor Make (M : Conference.INPUT where con paper = _) = struct 12 functor Make (M : Conference.INPUT where con paper = [Title = string, Abstract = string]) = struct
13 open Bid.Make(M) 13 open Bid.Make(M)
14 end 14 end
15 end) 15 end)