diff --git a/doc/HOWTO_IMPLEMENT_A_FUNCTOR.org b/doc/HOWTO_IMPLEMENT_A_FUNCTOR.org index b362fe19897c4af6108dc1927af79c0e1028f08e..3652d16e361d653d58ecd797cad579204f14882c 100644 --- a/doc/HOWTO_IMPLEMENT_A_FUNCTOR.org +++ b/doc/HOWTO_IMPLEMENT_A_FUNCTOR.org @@ -6,8 +6,9 @@ #+LATEX_HEADER: \setmonofont[Scale=0.9]{Hack} If you want to add a new basic functor to CoPaR, this document is for you. It's -written in a tutorial style to be easy to follow along. Please refer to Haddock -for concise technical documentation. Some basic Haskell knowledge is assumed. +written in a tutorial style to be easy to follow along. Please refer to CoPaR's +Haddock documentation for concise technical information. Some basic Haskell +knowledge is assumed. We're going to implement a simple version of the Powerset functor with functor syntax ~P(X)~ and morphism syntax ~{a, b, ...}~.