Skip to content

Commit

Permalink
Merge pull request ekmett#111 from chowells79/cofree-doc-10-19
Browse files Browse the repository at this point in the history
Minor grammatical fixup
  • Loading branch information
ekmett committed Oct 19, 2015
2 parents a917e3c + 7b454a2 commit 784db6a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Control/Comonad/Cofree.hs
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ infixr 5 :<
-- /Formally/
--
-- A 'Comonad' @v@ is a cofree 'Comonad' for @f@ if every comonad homomorphism
-- another comonad @w@ to @v@ is equivalent to a natural transformation
-- from another comonad @w@ to @v@ is equivalent to a natural transformation
-- from @w@ to @f@.
--
-- A 'cofree' functor is right adjoint to a forgetful functor.
Expand Down

0 comments on commit 784db6a

Please sign in to comment.