We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9a0231f commit 446d192Copy full SHA for 446d192
Control/Monad/Cont/Class.hs
@@ -190,7 +190,7 @@ label_ = callCC $ return . fix
190
-- provided that @f@ is quasi-algebraic. More specifically, for any @g@, we must have:
191
--
192
-- @
193
--- 'join' '$' f (\exit -> 'pure' '$' g (exit '.' 'pure') = f g
+-- 'join' '$' f (\\exit -> 'pure' '$' g (exit '.' 'pure') = f g
194
195
196
-- 'ContT.callCC' is quasi-algebraic; furthermore, for any quasi-algebraic @f@,
0 commit comments