From 3d276dedb3ccde00a014e49ced1e438d82f4bcef Mon Sep 17 00:00:00 2001 From: jim Date: Thu, 19 Mar 2015 11:58:07 -0400 Subject: [PATCH] fix join's type --- 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 191f35de..61012d55 100644 --- a/topics/week7_introducing_monads.mdwn +++ b/topics/week7_introducing_monads.mdwn @@ -105,7 +105,7 @@ Here are the types of our crucial functions, together with our pronunciation, an =<< or mdnib (flip mbind) (Q) -> (Q -> R) -> (R) -join: P -> P +join: P -> P The menagerie isn't quite as bewildering as you might suppose. Many of these will -- 2.11.0