From 5853eb4a398648f2fc7b9e9d7a7a7328a65ca5f9 Mon Sep 17 00:00:00 2001 From: Chris Allen Date: Sun, 11 Jan 2015 11:44:07 -0600 Subject: [PATCH] formatting --- dialogues.md | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/dialogues.md b/dialogues.md index 9c79ba3..66c2425 100644 --- a/dialogues.md +++ b/dialogues.md @@ -1285,15 +1285,16 @@ class Monad (m :: * -> *) where ``` 18:51 < OscarZ> about join... im wondering about join (+) 7 = 14 -19:14 < pjdelport> OscarZ: join for Reader becomes even more Intuitive when you pronounce Reader e a as "function - from an environment e to a" -19:15 < pjdelport> Then "Reader e (Reader e a)" is just "function from an environment e to function from an +19:14 < pjdelport> OscarZ: join for Reader becomes even more Intuitive when you + pronounce Reader e a as "function from an environment e to a" +19:15 < pjdelport> Then "Reader e (Reader e a)" is just "function from an environment e + to function from an environment e to a" +19:16 < pjdelport> And joining means turning that into just one "function from an environment e to a" -19:16 < pjdelport> And joining means turning that into just one "function from an environment e to a" -19:16 < pjdelport> And saying it like that should (hopefully) make the implementation and what it does more obvious - :) -19:23 < pjdelport> I still think just pondering "type Reader e a = e -> a" is a great way to to get that "a ha" - moment +19:16 < pjdelport> And saying it like that should (hopefully) make the implementation and what + it does more obvious :) +19:23 < pjdelport> I still think just pondering "type Reader e a = e -> a" is a great way to + to get that "a ha" moment ``` ```haskell