X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=c59db7662e004b547ec28edc4d2866c0e4595676;hp=361a0b3ff8e8da3fd96ee9b8fc525ba3aa26a1da;hb=be11c9fb4e8f436be20b5ccd5fb5a03794815440;hpb=b4f741e7eab2a7df728d8abf791f75d2b2357279 diff --git a/index.mdwn b/index.mdwn index 361a0b3f..c59db766 100644 --- a/index.mdwn +++ b/index.mdwn @@ -138,8 +138,8 @@ Towards types (in progress); Simply-typed lambda calculus; 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.