[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: mathlib
- From: Coda Highland <chighland@...>
- Date: Sat, 5 Apr 2014 23:52:20 -0700
On Sat, Apr 5, 2014 at 11:35 PM, Dirk Laurie <dirk.laurie@gmail.com> wrote:
> 2014-04-03 22:35 GMT+02:00 Roberto Ierusalimschy <roberto@inf.puc-rio.br>:
> So this may be a good time to summarize the positions taken on that, and
> classify them into yes, no and don't mind. I have omitted secondary comments
> (i.e. criticism of someone else's reasons) and kept for each poster an actual
> quote that seemed to be most pertinent. The count is 8 for removing, 12 for
> retaining, 2 neutral. Of course, reasons are more important than mere votes,
> which is why my summary is attached as a text file.
Actually, I'm in a "mixed" camp, okay with removing some but
preferring to retain others.
/s/ Adam
