From: Jim Date: Mon, 6 Apr 2015 13:59:04 +0000 (-0400) Subject: tweak intensionality.ml X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=34bdd67906c7529660a35340f2eb5740d6beb3b3 tweak intensionality.ml --- 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 *)