X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=hints%2Fassignment_7_hint_2.mdwn;h=96e47410540b85308d99988ab90d3dd81a8df9b4;hb=0909de0f7239a703c4f8f4b77e5eee17be883767;hp=17a3955ad5366789ff6f741f5841f5096baca092;hpb=5ffb50f1092baa2b76c7140b8c388d241240fa38;p=lambda.git

diff --git a/hints/assignment_7_hint_2.mdwn b/hints/assignment_7_hint_2.mdwn
index 17a3955a..96e47410 100644
--- a/hints/assignment_7_hint_2.mdwn
+++ b/hints/assignment_7_hint_2.mdwn
@@ -16,7 +16,7 @@
 			(* we ignore worlds *)
 			assignment * store -> 'a * assignment * store
 
-	Although we're leaving worlds out of the picture, each of these monadic values still represents a different discourse possibility: which entities might be being talked about, using which variables.
+	Although we're leaving worlds out of the picture, each of these monadic values still represents a different *discourse* possibility: which entities might be being talked about, using which variables.
 
 	Since `dpm`s are to be a monad, we have to define a unit and a bind. These are just modeled on the unit and bind for the state monad: