Agenda amendment: ISSUE-91 (Bounded Quantifiers) from Chris Welty on 2009-04-07 (public-rif-wg@w3.org from April 2009)

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

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 UTC