"L. David Baron" <dbaron@dbaron.org> wrote: >On Thursday 2013-02-07 23:51 +0100, Florian Rivoal wrote: >> On Thu, 07 Feb 2013 23:30:08 +0100, L. David Baron >> <dbaron@dbaron.org> wrote: >> Yes, this accurately reflects is what we agreed to. >> >> That said, for the benefit of the reader who is reading this without >> knowledge of the discussion we had, I wonder if it would be worth >> being explicit about the fact that collapsing multiple levels of >> nested parentheses to a single one is one of these logical >> simplifications we forbid. Your text already >> implies it, but it might also be misinterpreted to only mean >> forbidding converting "(not (a:1)) and (not (b:2))" into "not ((a:1) >> or (b:2))". > >OK, I added the parenthetical: > # logical simplifications (such as removal of unneeded parentheses, > # or simplification based on evaluating results) Thanks. That settles it.Received on Friday, 8 February 2013 08:24:10 UTC
This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:26 UTC