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