Hi,
I'm trying to solve exercise 4 from the current exercise sheet using the presentation we got in our exercise lesson. However, I think there is a mistake in the table on page 20.
a -> b |- {} should be equivalent to
and therefore the entry in the table should be SPLIT (|- a, b |- {})
![](https://q2a.cs.uni-kl.de/?qa=blob&qa_blobid=2688693446928579418)
or am I mistaken somewhere?