Remove duplicate lines from dialogue.

Remove duplicate response in dialogue on transducers.
4 years ago · 1c05b578d3
parent daeb6e4fa7
commit 1c05b578d3
1 changed files with 0 additions and 6 deletions
--- a/dialogues.md
+++ b/dialogues.md
@ -21,12 +21,6 @@
 19:32 < edwardk> :t foldl.foldl.foldl
 19:32 < lambdabot> (b -> a -> b) -> b -> [[[a]]] -> b
 19:33 < edwardk> yay transducers, next? =)
-19:32 < edwardk> now the left and right are 'of the same shape
-19:32 < edwardk> :t foldl.foldl
-19:32 < lambdabot> (b -> a -> b) -> b -> [[a]] -> b
-19:32 < edwardk> :t foldl.foldl.foldl
-19:32 < lambdabot> (b -> a -> b) -> b -> [[[a]]] -> b
-19:33 < edwardk> yay transducers, next? =)
 19:35 < bitemyapp> dfeuer: the last definition Hickey gave of transducers was: "a transducer is just a pre-fused
                   Kleisli arrows in the list monad"
 19:35 < dfeuer> bitemyapp, yeeeeeeeeeeaaaaahhhhhh.