On 2021-12-15, at 21:16, Brian E Carpenter <brian.e.carpenter@xxxxxxxxx> wrote: > > But you draw attention to the dangers of > using pseudocode carelessly as pseudonormative material. … which, obviously, is different from using pseudocode carefully as normative material … I think we’d need to spend some time on eliciting the properties the pseudocode must have to count as “using pseudocode carefully”. See my previous message. Grüße, Carsten
