Skip to content

Commit

Permalink
Fix typos in Chapters 23 and 25. (#158)
Browse files Browse the repository at this point in the history
* Fix typesetting issue in Chapter 23.

* Fix typesetting issue in Chapter 25.
  • Loading branch information
rkirsling authored and hmemcpy committed Oct 31, 2018
1 parent 62dd460 commit 8882fd1
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/content/3.7/Comonads.tex
Original file line number Diff line number Diff line change
Expand Up @@ -384,7 +384,7 @@ \section{The Store Comonad}
is equivalent to a pair of functions:

\src{code/haskell/snippet39.hs}
If \code{a} is a product type, $\Set$ could be implemented as
If \code{a} is a product type, \code{set} could be implemented as
setting the field of type \code{s} inside of \code{a} while
returning the modified version of \code{a}. Similarly, \code{get}
could be implemented to read the value of the \code{s} field from
Expand Down
2 changes: 1 addition & 1 deletion src/content/3.9/Algebras for Monads.tex
Original file line number Diff line number Diff line change
Expand Up @@ -382,7 +382,7 @@ \section{Lenses}
``small'' part of it.) In terms of this pair, we have:
\[coalg_s\ a = Store\ (set\ a)\ (get\ a)\]
Here, $a$ is a value of type $a$. Notice that partially
applied $\Set$ is a function $s \to a$.
applied \code{set} is a function $s \to a$.

We also know that $Store\ s$ is a comonad:

Expand Down

0 comments on commit 8882fd1

Please sign in to comment.