shriram / plai-public

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

Paret occurs once #19

Open bremner opened 11 months ago

bremner commented 11 months ago

Contact Details

bremner@unb.ca

Which part are you commenting on?

p. 55, v3.2.2.

What's the problem?

I think the interpreted language is otherwise anonymous, but here it is called "Paret"