From: Jim Pryor Date: Sun, 21 Nov 2010 19:10:42 +0000 (-0500) Subject: assign7 tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e44177b8c022471ebfeb1d8dc4a93cde1e840cb7 assign7 tweak Signed-off-by: Jim Pryor --- diff --git a/assignment7.mdwn b/assignment7.mdwn index 337249c0..332b1187 100644 --- a/assignment7.mdwn +++ b/assignment7.mdwn @@ -7,7 +7,7 @@ Write a monadic operation that enables you to retrieve the last-saved remainder, at any arbitrary later point in the computation. -2. For the next assignment, read the paper [Coreference and Modality](/coreference-and-modality.pdf). Your task will be to re-express the semantics they offer up to the middle of p. 16, in the terms we're now working with. You'll probably want to review the lecture notes from this week's meeting, which we haven't yet been able to post. We will do that soon. In the meantime, you can get started reading the paper. +2. For the next assignment, read the paper [Coreference and Modality](/coreference-and-modality.pdf). Your task will be to re-express the semantics they offer up to the middle of p. 16, in the terms we're now working with. You'll probably want to review [the lecture notes from this week's meeting](/week9). Some advice: