search

shriram / plai-public

Repository for (for now) filing bug reports about PLAI.
6 stars 0 forks source link

Fix the count of example expressions in Abstract Syntax #8

Closed MichaelJFishman closed 1 year ago

MichaelJFishman commented 1 year ago

Contact Details

michaeljfishman@proton.me

Which part are you commenting on?

Abstract Syntax

What's the problem?

Thus, it’s as if the last two expressions above were as

(1 + 2) + 3
1 + (2 + 3)
1 + ((2 + 3) + 4)

These are three expressions, not two.

PLAI edition: 3.2.1

shriram commented 1 year ago

No, I did mean two. But it's written confusingly, so I've changed it (and in particular, put two of them on the same line, to make this clear). Thanks!