Skip to content

Commit

Permalink
Fix concat natural transformation example
Browse files Browse the repository at this point in the history
  • Loading branch information
jpvillaisaza committed Feb 15, 2019
1 parent ff36cfc commit 231c006
Show file tree
Hide file tree
Showing 4 changed files with 16 additions and 4 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -32,5 +32,6 @@
*.synctex.gz
*.toc
*.vrb
*.xdv
*.xdy
*.tdo
11 changes: 11 additions & 0 deletions acknowledgements.tex
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,15 @@ \chapter{Acknowledgements}
Computation seminar 2013 attendees, and to my psychologist, María
Paula Valderrama López.

\section*{Errata}

\begin{itemize}
\item
February 15, 2019:
In example \ref{ex:natural-concat-haskell}, \texthaskell{concat} is a natural
transformation from the \texthaskell{[] . []} functor and into the
\texthaskell{[]} functor (instead of from and into the \texthaskell{[]}
functor). Thanks to Paulo Villela for reporting!
\end{itemize}

\clearemptydoublepage
6 changes: 3 additions & 3 deletions naturals.tex
Original file line number Diff line number Diff line change
Expand Up @@ -465,9 +465,9 @@ \section{Natural Transformations in Haskell}
\label{ex:natural-concat-haskell}

We can think of the \texthaskell{concat} function, which
concatenates a list of lists, as a natural transformation from and
into the \texthaskell{[]} functor. The type signature of this
function is:
concatenates a list of lists, as a natural transformation from the
\texthaskell{[] . []} functor and into the \texthaskell{[]} functor. The type
signature of this function is:
\begin{codehaskell}
concat :: [[a]] -> [a]
\end{codehaskell}
Expand Down
2 changes: 1 addition & 1 deletion preamble.tex
Original file line number Diff line number Diff line change
Expand Up @@ -114,7 +114,7 @@
%% Verbatim
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newfontfamily\dejavu{DejaVu Sans Mono}
\newfontfamily\dejavu{DejaVuSansMono.ttf}

\usepackage{fancyvrb}
\usepackage{relsize}
Expand Down

0 comments on commit 231c006

Please sign in to comment.