X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=7b042e6922e6266ad05f603bd639944c4b6d4218;hp=361a0b3ff8e8da3fd96ee9b8fc525ba3aa26a1da;hb=c1ddb91f87540abf04b59c526042496b2d1e93ed;hpb=b4f741e7eab2a7df728d8abf791f75d2b2357279

diff --git a/index.mdwn b/index.mdwn
index 361a0b3f..7b042e69 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -134,12 +134,14 @@ Towards types (in progress);
 
 (**Week 5**) Thursday 26 February 2015
 
+> *Note*: Jim will be updating and expanding the lecture notes by Tuesday, but doesn't want to delay any longer letting you have access to the drafts we (in part) presented from in seminar. But do come back and re-read the pages when the expanded versions are posted.
+
 > Topics:
-Simply-typed lambda calculus;
-System F;
+[[Simply-typed lambda calculus|topics/week5 simply typed]];
+[[System F|topics/week5 system F]];
 Types in OCaml and Haskell;
-Practical advice for working with OCaml and/or Haskell;
-Homework (all will be posted soon)
+Practical advice for working with OCaml and/or Haskell (all will be posted soon);
+[[Homework|exercises/assignment5]]
 
 > If you're reading along in Hankin, you can look at Chapter 7.