Mercurial > urweb

comparison demo/more/conference.urs @ 1007:d3af9e54c828

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Title and abstract
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:37:58 -0400
parents 5a0f6ec208ce
children 1911e84df461
comparison
equal deleted inserted replaced
1006:5a0f6ec208ce 1007:d3af9e54c828
1 functor Make(M : sig 1 functor Make(M : sig
2 con paper :: {(Type * Type)} 2 con paper :: {(Type * Type)}
3 constraint [Id, Title] ~ paper 3 constraint [Id] ~ paper
4 val paper : $(map Meta.meta paper) 4 val paper : $(map Meta.meta paper)
5 val paperFolder : folder paper
5 6
6 con review :: {(Type * Type)} 7 con review :: {(Type * Type)}
7 constraint [Paper, User] ~ review 8 constraint [Paper, User] ~ review
8 val review : $(map Meta.meta review) 9 val review : $(map Meta.meta review)
9 10