X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2F_assignment5.mdwn;h=75b3783f01f2bc85dd8730f4a002a9f964ba871c;hp=8a60b511c507de0f30dc47c84a9a28c517f9d6b8;hb=8f7c3c012195f17b462903a5fb553a00e65d0548;hpb=9ce4de98643f88eba5865aeededc4b9ad9c8bbfc

diff --git a/exercises/_assignment5.mdwn b/exercises/_assignment5.mdwn
index 8a60b511..75b3783f 100644
--- a/exercises/_assignment5.mdwn
+++ b/exercises/_assignment5.mdwn
@@ -1,4 +1,12 @@
-ω Ω λ Λ ≡ α β
+This is a long and substantial assignment. On the one hand, it doesn't have any stumpers like we gave you in past weeks, such as defining `pred` or mutual recursion. (Well, we *do* ask you to define `pred` again, but now you understand a basic strategy for doing so, so it's no longer a stumper.) On the other hand, there are a bunch of problems; many of them demand a modest amount of time; and this week you're coming to terms with both System F *and* with OCaml or Haskell. So it's a lot to do.
+
+The upside is that there won't be any new homework assigned this week, and you can take longer to complete this assignment if you need to. As always, don't get stuck on the "More challenging" questions if you find them too hard. Be sure to send us your work even if it's not entirely completed, so we can see where you are. And consult with us (over email or in person on Wednesday) about things you don't understand, especially issues you're having working with OCaml or Haskell, or with translating between System F and them. We will update this homework page with clarifications or explanations that your questions prompt.
+
+We will also be assigning some philosophy of language readings for you to look at before this Thursday's seminar meeting.
+
+Those, and lecture notes from this past week, will be posted shortly.
+
+
 
 ## Option / Maybe Types ##