rename topics/_week5_system_F.mdwn to topics/week5_system_F.mdwn

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 361a0b3..c59db76 100644 (file)
--- 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.