assignment7 tweaks
authorJim Pryor <profjim@jimpryor.net>
Fri, 19 Nov 2010 12:55:21 +0000 (07:55 -0500)
committerJim Pryor <profjim@jimpryor.net>
Fri, 19 Nov 2010 12:55:21 +0000 (07:55 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
hints/assignment_7_hint_2.mdwn

index 17a3955..96e4741 100644 (file)
@@ -16,7 +16,7 @@
                        (* we ignore worlds *)
                        assignment * store -> 'a * assignment * store
 
                        (* 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:
 
 
        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: