Mercurial > urweb
annotate demo/more/conference.urs @ 1004:a87495bcaeec
Start of user management
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 20 Oct 2009 12:48:53 -0400 |
| parents | 61c30f0742d7 |
| children | 5a0f6ec208ce |
| rev | line source |
|---|---|
| adamc@1001 | 1 functor Make(M : sig |
| adamc@1003 | 2 con paper :: {(Type * Type)} |
| adamc@1003 | 3 constraint [Id, Title] ~ paper |
| adamc@1004 | 4 val paper : $(map Meta.meta paper) |
| adamc@1003 | 5 |
| adamc@1001 | 6 con review :: {(Type * Type)} |
| adamc@1003 | 7 constraint [Paper, User] ~ review |
| adamc@1004 | 8 val review : $(map Meta.meta review) |
| adamc@1001 | 9 end) : sig |
| adamc@1001 | 10 |
| adamc@1001 | 11 val main : unit -> transaction page |
| adamc@1001 | 12 |
| adamc@1001 | 13 end |