search

shriram / plai-public

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

stray reference to Paret #42

Open shriram opened 1 month ago

shriram commented 1 month ago

Contact Details

shriram@gmail.com

Which part are you commenting on?

pg 55 of v3.2.2

What's the problem?

"p55: “Observe that we used let in plait to define let1 in Paret. We’ll see more of this...”."

Reported by Tom van Cutsem