- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 16 Jun 2009 14:05:52 -0400
- To: Chris Welty <cawelty@gmail.com>
- Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Chris, thanks for making the changes. I overlooked these. michael On Mon, 08 Jun 2009 11:03:16 -0400 Chris Welty <cawelty@gmail.com> wrote: > * section 2.3 item 6 (Groups) shoudl be updated to say something like: > > As a special case, Group() is allowed and is treated as a tautology, i.e., a > formula that is always true. > > * section 3.4 item 12 (Groups) shoudl be updated to say something like: > > The empty group is treated as a tautology, so TValI(Group()) = t. > > Michael is on vacation. I'm happy to make the update myself but would like a > nod or two from someone that empty groups are desired (ignoring the fact that > several people don't want groups at all).
Received on Tuesday, 16 June 2009 18:06:25 UTC