From 34bdd67906c7529660a35340f2eb5740d6beb3b3 Mon Sep 17 00:00:00 2001 From: Jim Date: Mon, 6 Apr 2015 09:59:04 -0400 Subject: [PATCH] tweak intensionality.ml --- code/intensionality-monad.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/intensionality-monad.ml b/code/intensionality-monad.ml index dc131471..b5dc9f52 100644 --- a/code/intensionality-monad.ml +++ b/code/intensionality-monad.ml @@ -1,4 +1,4 @@ -(* This is the intensionality monad discussed in the lecture notes for week 7. *) +(* This is the intensionality monad discussed in the lecture notes for week 8. *) type s = int;; (* integers model possible worlds *) type e = char;; (* chars model individuals *) -- 2.11.0