Error in project description?

Hi,
I just came across table 1 on page 16 of the project description image
and wondered why the additional unary operator !
is not included in figure 5 on page 15 of the project description.
image
Since I thought ! should be included in figure 5, my question is: Is this an error in the project description or am I confusing two different types of unary operators?

It’s only relevant for the verifier so it is supposed to only show up in some of the grammars.

Sadly, it looks like this was a typo, so it’s missing on the last page.

1 Like