* Types in OCaml and Haskell (will be posted soon)
* Practical advice for working with OCaml and/or Haskell (will be posted soon)
* [[Homework for weeks 5 and 6|exercises/assignment5]]
+
+Outside readings for week 6:
+
+* [[footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives* about "Plexy"
+* Michael Rieppel, "[[Being Something: Properties and Predicative Quantification|readings/rieppel-beingsthg.pdf]]"
+* Optional: Jeff King, from *The Nature and Structure of Content*, on the difference between clausal complements and "the proposition that P", "the fact that P"