X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;h=81ccafb2ccd3729ab970574b98cc3b6a8af8468a;hp=75d0cee4d9912ecb28b9a0b5c6fcf8b91d1bb50d;hb=a914ff0ed48112619a514100394a5f2a0fcbc132;hpb=99724b7a28e23caa99552af55797f16b3c4666b3
diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 75d0cee4..81ccafb2 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -107,11 +107,11 @@ Here are the types of our crucial functions, together with our pronunciation, an
<=< or mcomp : (Q -> R) -> (P -> Q) -> (P -> R)
->=> or mpmoc (flip mcomp): (P -> Q) -> (Q -> R) -> (P -> R)
+>=> (flip mcomp, should we call it mpmoc?): (P -> Q) -> (Q -> R) -> (P -> R)
>>= or mbind : (Q) -> (Q -> R) -> (R)
-=<< or mdnib (flip mbind) (Q) -> (Q -> R) -> (R)
+=<< (flip mbind, should we call it mdnib?) (Q) -> (Q -> R) -> (R)
join: P -> P