assignment 6

diff --git a/assignment6.mdwn b/assignment6.mdwn
new file mode 100644 (file)
index 0000000..d044c12
--- /dev/null
+++ b/assignment6.mdwn
@@ -0,0 +1,5 @@
+1.  Test all three monad laws for the intensionality monad.  To do
+this, download the code and load it into your Ocaml evaluator (`# #use
+"intensionality-monad.ml";;`).  For instance, what does evaluating
+`bind (unit 'c') (swap left) 2 == swap left 'c' 2;;` show?  Please
+explain briefly but clearly what you are doing in your discussion.

diff --git a/week7.mdwn b/week7.mdwn
index 812f049..62ef89f 100644 (file)
--- a/week7.mdwn
+++ b/week7.mdwn
@@ -190,7 +190,7 @@ 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
 
 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"`. 
+"intensionality-monad.ml";;`. 

 
 Here's the idea: since people can have different attitudes towards
 different propositions that happen to have the same truth value, we
 
 Here's the idea: since people can have different attitudes towards
 different propositions that happen to have the same truth value, we