comparison demo/more/conference1.ur @ 1031:5dccff15fa62

Decision status placeholder
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:54:22 -0500
parents 6bcc1020d5cd
children 5d9f47124c4c
comparison
equal deleted inserted replaced
1030:6bcc1020d5cd 1031:5dccff15fa62
15 open Conference.Join(struct 15 open Conference.Join(struct
16 structure O1 = Bid.Make(M) 16 structure O1 = Bid.Make(M)
17 structure O2 = Decision.Make(struct 17 structure O2 = Decision.Make(struct
18 con paperOther = _ 18 con paperOther = _
19 open M 19 open M
20
21 fun status [ctx] [[Body] ~ ctx]
22 r = <xml>!</xml>
20 end) 23 end)
21 end) 24 end)
22 end 25 end
23 end) 26 end)