Mercurial > urweb

comparison demo/more/conference.urs @ 1011:16f7cb0891b6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial support for char in SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 16:15:56 -0400
parents 6b0f3853cc81
children 4de35df3d545
comparison
equal deleted inserted replaced
1010:6b0f3853cc81 1011:16f7cb0891b6
5 val paperFolder : folder paper 5 val paperFolder : folder paper
6 6
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 val reviewFolder : folder review
10 11
11 val submissionDeadline : time 12 val submissionDeadline : time
12 val summarizePaper : $(map fst paper) -> xbody 13 val summarizePaper : $(map fst paper) -> xbody
13 end) : sig 14 end) : sig
14 15