Error in the Pair-Example (pdf-version)

[klartext]

In the pdf, page 9, pair with type annotations has

first = K p

and

second = KI p

The html version is correct.

[hbr]

Thanks for the comment. However I see the html and the pdf version identical.

Where do you see the difference? Both documents come from the same source.

But both seem to be wrong. It has to be

first p := p K
second p := p KI

Pair A B is the type (A -> B -> C) -> C. I.e. it expects a function argument.

[klartext]

OK, I was wrong with "The html version is correct.". I looked at the wrong place in the html.

In the pdf, page 8:

first p := p K
second p := p KI

page 9 (type annotations removed):

first p := K p
second p := KI p

[hbr]

Thanks for the hint. It should be correct now in both versions.