From 257df74b3048e6d5b59305ee83745a0bdc4153b1 Mon Sep 17 00:00:00 2001 From: jim Date: Wed, 25 Feb 2015 11:41:30 -0500 Subject: [PATCH] add note about Pierce --- index.mdwn | 2 ++ 1 file changed, 2 insertions(+) diff --git a/index.mdwn b/index.mdwn index f5dd9712..b352d58b 100644 --- a/index.mdwn +++ b/index.mdwn @@ -128,6 +128,8 @@ Towards types (in progress); > Now you can read Sections 3.1 and 6.1 of Hankin; and browse the rest of Hankin Chapter 6, which should look somewhat familiar. +> If you're reading along in the Pierce book, we've now covered much of the material in his Chapters 1-7. + > We posted [[answers to Week 3's homework|exercises/assignment3_answers]]. -- 2.11.0