From 7834e35d4a2de390ce6a1e9113186dcbb9c07a6f Mon Sep 17 00:00:00 2001
From: Chris Barker
Date: Sun, 31 Oct 2010 10:14:37 -0400
Subject: [PATCH] assignment 6
---
assignment6.mdwn | 5 +++++
week7.mdwn | 2 +-
2 files changed, 6 insertions(+), 1 deletion(-)
create mode 100644 assignment6.mdwn
diff --git a/assignment6.mdwn b/assignment6.mdwn
new file mode 100644
index 00000000..d044c12d
--- /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 812f0496..62ef89f0 100644
--- 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
-"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
--
2.11.0