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

Agenda amendment: ISSUE-91 (Bounded Quantifiers)

From: Chris Welty <cawelty@gmail.com>
Date: Tue, 07 Apr 2009 10:45:41 -0400
Message-ID: <49DB6715.8060206@gmail.com>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org> 

We had consensus at a previous telecon to drop the idea of adding bounded 
quantifiers to CORE.  We would like to close issue-91 at today's telecon.

I neglected to list it on the agenda:

PROPOSED: Close ISSUE-91 without action (thus CORE will not have bounded 
quantifiers)

-Chris

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Tuesday, 7 April 2009 14:46:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:04 GMT