From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 18 Nov 2010 22:52:37 +0000 (-0500)
Subject: assignment7 tweaks
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=d6ac33904ee6021cad8e517d4f5104c3b82f1570

assignment7 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index 53731f70..59682986 100644
--- a/hints/assignment_7_hint_3.mdwn
+++ b/hints/assignment_7_hint_3.mdwn
@@ -49,7 +49,9 @@ More specifically, \[[expression]] will be a set of `'a discourse_possibility` m
 
 *	Now how shall we handle \[[&exist;x]]. As we said, GS&V really tell us how to interpret \[[&exist;xPx]], but what they say about this breaks naturally into two pieces, such that we can represent the update of `s` with \[[&exist;xPx]] as:
 
-		s >>= \[[&exist;x]] >>= \[[Px]]
+<pre><code>
+s >>= \[[&exist;x]] >>= \[[Px]]
+</code></pre>