W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

Re: quick fix for bld Groups (& core and FLD)?

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>
Message-ID: <20090616140552.2306bc20@kiferserv>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 16 June 2009 18:06:26 GMT