X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=7c56bb436400c75f1e0d11507e057dfbb95d9076;hp=1b7387924c5d8f9398a9431591d2fa65cd9efcf7;hb=617a8c4f7df93fa5c5840319b85ae24bb724ac3d;hpb=155bf67a6a072ac9994139a0b99cc02d2245ea64

diff --git a/index.mdwn b/index.mdwn
index 1b738792..7c56bb43 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -137,7 +137,7 @@ Towards types (in progress);
 [[System F|topics/week5 system F]];
 Types in OCaml and Haskell (will be posted someday);
 Practical advice for working with OCaml and/or Haskell (will be posted someday);
-[[Homework|exercises/assignment5]]
+[[Homework|exercises/assignment5-6]]
 
 > *There is some assigned reading for our next meeting.* This comes in two batches. The first batch consists of [[this footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives*. Also recommended, but not mandatory, is [[this selection|readings/king-on-schiffer.pdf]] from Chapter 4 of Jeff King's 2007 book *The Nature and Structure of Content*. The second batch consists of [[this paper|readings/rieppel-beingsthg.pdf]] from Michael Rieppel, a recent Berkeley Philosophy PhD, on Frege's "concept horse" problem. Also recommended, but not mandatory, is [[this selection|readings/king-on-logicism.pdf]] from Chapter 5 of King's book. (It reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)".)