From 42ea318d0e066534ffd016c299eb75e7f2efcca7 Mon Sep 17 00:00:00 2001 From: jim Date: Sun, 22 Mar 2015 13:10:14 -0400 Subject: [PATCH] move link --- topics/week7_introducing_monads.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn index 2f34107d..76793b35 100644 --- a/topics/week7_introducing_monads.mdwn +++ b/topics/week7_introducing_monads.mdwn @@ -97,7 +97,7 @@ Here are some examples of values of these Kleisli arrow types, where the box typ \x. prime_factors_of x \x. [0, 0, 0] -As semanticists, you are no doubt familiar with the debates between those who insist that propositions are sets of worlds and those who insist they are context change potentials. We hope to show you, in coming weeks, that [propositions are (certain sorts of) Kleisli arrows](/images/faye_dunaway.jpg). But this doesn't really compete with the other proposals; it is a generalization of them. Both of the other proposed structures can be construed as specific Kleisli arrow types. +As semanticists, you are no doubt familiar with the debates between those who insist that propositions are sets of worlds and those who insist they are context change potentials. We hope to show you, in coming weeks, that propositions are (certain sorts of) Kleisli arrows. But this [doesn't really compete](/images/faye_dunaway.jpg) with the other proposals; it is a generalization of them. Both of the other proposed structures can be construed as specific Kleisli arrow types. ## A family of functions for each box type ## -- 2.11.0