Update chapter numbers in schedule week 9

19 -> 16
20 -> 15
16 -> 20
17 -> 21

schedule.qmd

@@ -35,8 +35,8 @@ The readings will be classified into the following order of recommendation:
 |  | R | 10/12 | Recursion |  |  |
 | 8 | T | 10/17 | Denotational semantics | **Advised**. Winskel Ch. 5   |  |
 |  | R | 10/19 | Denotational semantics | **Advised**. Winskel Ch. 8<br/> Read for the general concepts, not the details.<br/><br/> **Supplemental**. David Schmidt. [Denotational Semantics: A Methodology for Language Development](http://people.cs.ksu.edu/~schmidt/text/densem.html).<br/> This is a full textbook on denotational semantics. |  |
-| 9 | T | 10/24 | Recursive types | **Advised**. Harper 19.1-19.2 and 20.1 (Recursion and Recursive Types).<br/> Sections 19.3-19.5 and 20.2-20.4 can be considered supplemental. |  |
-|  | R | 10/26 | Parametric polymorphism | **Advised**. Harper 16.1 (Parametric Polymorphism).<br/> Sections 16.2-16.3 can be considered supplemental.<br/><br/> **Recommended**. Harper 17.1 (Abstract Types)<br/> Sections 17.2-17.4 can be considered supplemental. |  |
+| 9 | T | 10/24 | Recursive types | **Advised**. Harper 16.1-16.2 and 15.1 (Recursion and Recursive Types).<br/> Sections 16.3-16.5 and 15.2-15.4 can be considered supplemental. |  |
+|  | R | 10/26 | Parametric polymorphism | **Advised**. Harper 20.1 (Parametric Polymorphism).<br/> Sections 20.2-20.3 can be considered supplemental.<br/><br/> **Recommended**. Harper 21.1 (Abstract Types)<br/> Sections 21.2-21.4 can be considered supplemental. |  |
 | 10 | T | 10/31 | Axiomatic semantics |  |  |
 |  | R | 11/2 | Axiomatic semantics |  | HW3 due Fri |
 | 11 | T | 11/7 | Verification-condition generation |  |  |