Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (23 Oct 2020 14:00 UTC)
Re: Erratum requested (what is a BODY?) Arthur A. Gleckler (23 Oct 2020 14:50 UTC)
Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (25 Oct 2020 08:44 UTC)
(missing)
Re: Erratum requested (what is a BODY?) Arthur A. Gleckler (26 Oct 2020 18:25 UTC)
Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (26 Oct 2020 18:32 UTC)
Re: Erratum requested (what is a BODY?) Alex Shinn (27 Oct 2020 05:55 UTC)
Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen (27 Oct 2020 06:39 UTC)

Re: Erratum requested (what is a BODY?) Marc Nieper-Wißkirchen 26 Oct 2020 18:31 UTC

Thank you, Arthur and Oleg.

It looks good to me.

Am Mo., 26. Okt. 2020 um 19:25 Uhr schrieb Arthur A. Gleckler
<xxxxxx@speechcode.com>:
>
> On Mon, Oct 26, 2020 at 7:01 AM Oleg <xxxxxx@okmij.org> wrote:
>
>>
>> I must say I like this proposal! Indeed, let* () is unambiguous.
>>
>> Thus I support the proposed changes.
>
>
> Thank you very much.
>
> I have made the requested change.  Marc, would you please check that I've applied it correctly?
>
> Thanks.