Re: Motion P1788/M0030.02 Constructors
On 2012-04-16 10:33:35 +0200, Frédéric Goualard wrote:
> I vote NO on Motion 30.02 because of the presence of "NaI" in the
> text. I voted against that concept for Motion 7 and I am still opposed
> to it. I would change my vote to yes if the text specifically replaced
> the notion of NaI by "empty set with proper decoration".
Though I voted YES on Motion 30.02, I completely agree with Frédéric,
meaning that I will vote NO on any NaI definition if it is not the
empty set. But I don't think this will happen, and that's why I didn't
feel the need to reject this motion for this purpose.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)