From 966f3179a2866846d6b0e347b32ebe56da8cdd5e Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sun, 31 Oct 2010 10:24:46 -0400 Subject: [PATCH 1/1] edits --- week7.mdwn | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/week7.mdwn b/week7.mdwn index a4538ee3..ba845b29 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -164,7 +164,7 @@ arguments of a monoid operation) the two arguments of the bind are of different types. But if we generalize bind so that both arguments are of type `'a -> M 'a`, then we get plain identity laws and associativity laws, and the monad laws are exactly like the monoid -laws (see ). +laws (see , near the bottom). Monad outlook @@ -191,8 +191,11 @@ intensionality](http://parles.upf.es/glif/pub/sub11/individual/bena_wint.pdf), though without explicitly using monads. All of the code in the discussion below can be found here: [[intensionality-monad.ml]]. -To run it, download the file, start Ocaml, and say `# #use -"intensionality-monad.ml";;`. +To run it, download the file, start Ocaml, and say + + # #use "intensionality-monad.ml";; + +Note the extra `#` attached to the directive `use`. Here's the idea: since people can have different attitudes towards different propositions that happen to have the same truth value, we -- 2.11.0