[m-rev.] for post-commit review: chapter 3 start to end of 3.4

[Mark Brown]

Hi Zoltan,

> The Mercury compiler \emph{could} therefore implement negations
> by reducing them to if-then-else, though it does not do so.

Oh, doesn't it? I thought it did, and I've said that in a few places.
In particular I've defined the operational semantics that way. So I'll
have to fix this, if you don't get to it first.

Mark

On Sat, Apr 1, 2023 at 4:04 AM Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> For review by Mark.
>
> Zoltan._______________________________________________
> reviews mailing list
> reviews at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/reviews