projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[lambda.git]
/
week7.mdwn
diff --git
a/week7.mdwn
b/week7.mdwn
index
a4538ee
..
ba845b2
100644
(file)
--- a/
week7.mdwn
+++ b/
week7.mdwn
@@
-164,7
+164,7
@@
arguments of a monoid operation) the two arguments of the bind are of
different types. But if we generalize bind so that both arguments are
of type `'a -> M 'a`, then we get plain identity laws and
associativity laws, and the monad laws are exactly like the monoid
different types. But if we generalize bind so that both arguments are
of type `'a -> M 'a`, then we get plain identity laws and
associativity laws, and the monad laws are exactly like the monoid
-laws (see <http://www.haskell.org/haskellwiki/Monad_Laws>).
+laws (see <http://www.haskell.org/haskellwiki/Monad_Laws>
, near the bottom
).
Monad outlook
Monad outlook
@@
-191,8
+191,11
@@
intensionality](http://parles.upf.es/glif/pub/sub11/individual/bena_wint.pdf),
though without explicitly using monads.
All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
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";;`.
+To run it, download the file, start Ocaml, and say
+
+ # #use "intensionality-monad.ml";;
+
+Note the extra `#` attached to the directive `use`.
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