search

shriram / plai-public

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

Typo in Defining the Evaluator #9

Closed MichaelJFishman closed 1 year ago

MichaelJFishman commented 1 year ago

Contact Details

michaeljfishman@proton.me

Which part are you commenting on?

Defining the Evaluator

What's the problem?

In fact, we’ve glossed over something even basic

should be

In fact, we’ve glossed over something even more basic

PLAI edition: 3.2.1

shriram commented 1 year ago

Thanks!

shriram commented 1 year ago

Btw, these edits are going into a 3.2.2 release, which I'm just waiting for GitHub to finish pushing.