In Section 11.4, the 2 hyperlinks to "Example: Well-typed literals" is broken and returns to page 1.
In Section 11.4, the 2 hyperlinks to "Example: Well-typed literals" is broken and returns to page 1.