Lots of tweaks.

Author: hmemcpy

src/content/1.10/Natural Transformations.tex

@@ -3,7 +3,7 @@
 
 \begin{wrapfigure}[13]{R}{0pt}
 \raisebox{0pt}[\dimexpr\height-0.75\baselineskip\relax]{
-\fbox{\includegraphics[width=60mm]{images/1_functors.jpg}}}%
+\includegraphics[width=60mm]{images/1_functors.jpg}}%
 \end{wrapfigure}
 
 \noindent
@@ -114,7 +114,7 @@
 
 \begin{figure}[H]
 \centering
-\fbox{\includegraphics[width=60mm]{images/naturality.jpg}}
+\includegraphics[width=60mm]{images/naturality.jpg}
 \end{figure}
 
 \noindent

src/content/1.2/Types and Functions.tex

@@ -501,8 +501,7 @@ \section{Challenges}
 \end{Verbatim}
   \item
 \begin{Verbatim}
-int f(int x)
-{
+int f(int x) {
     static int y = 0;
     y += x;
     return y;

src/content/1.3/Categories Great and Small.tex

@@ -257,8 +257,8 @@ \section{Monoid as Category}
 tells us that \code{mappend} maps an element of a monoid set to a
 function acting on that set.
 
-\begin{wrapfigure}[11]{R}{0pt}
-\raisebox{0pt}[\dimexpr\height-0.75\baselineskip\relax]{
+\begin{wrapfigure}[12]{R}{0pt}
+\raisebox{0pt}[\dimexpr\height-0.85\baselineskip\relax]{
 \includegraphics[width=40mm]{images/monoid.jpg}}
 \end{wrapfigure}
 

src/content/1.6/Simple Algebraic Data Types.tex

@@ -21,7 +21,7 @@ \section{Product Types}
 
 \begin{figure}
 \centering
-\fbox{\includegraphics[width=1.56250in]{images/pair.jpg}}
+\includegraphics[width=1.56250in]{images/pair.jpg}
 \end{figure}
 
 \noindent

src/content/1.8/Functoriality.tex

@@ -71,7 +71,7 @@ \section{Bifunctors}
 
 \begin{figure}[H]
 \centering
-\fbox{\includegraphics[width=40mm]{images/bimap.jpg}}
+\includegraphics[width=40mm]{images/bimap.jpg}
 \caption{bimap}
 \end{figure}
 

src/content/2.2/Limits and Colimits.tex

@@ -237,7 +237,7 @@ \section{Limit as a Natural Isomorphism}
 
 \begin{figure}[H]
 \centering
-\fbox{\includegraphics[width=2.59375in]{images/homsetmapping.jpg}}
+\includegraphics[width=2.59375in]{images/homsetmapping.jpg}
 \end{figure}
 
 \noindent

src/content/3.1/It's All About Morphisms.tex

@@ -32,7 +32,7 @@ \section{Commuting Diagrams}
 
 \begin{wrapfigure}[9]{R}{0pt}
 \raisebox{0pt}[\dimexpr\height-0.75\baselineskip\relax]{
-\fbox{\includegraphics[width=1.78125in]{images/productranking.jpg}}}%
+\includegraphics[width=1.78125in]{images/productranking.jpg}}%
 \end{wrapfigure}
 
 The product is a simple example of a universal construction. We pick two
@@ -73,7 +73,7 @@ \section{Natural Transformations}
 transformation maps one such sheet corresponding to F, to another,
 corresponding to G.
 
-\begin{wrapfigure}[10]{R}{0pt}
+\begin{wrapfigure}[13]{R}{0pt}
 \raisebox{0pt}[\dimexpr\height-0.75\baselineskip\relax]{
 \includegraphics[width=60mm]{images/sheets.png}}%
 \end{wrapfigure}

src/content/3.4/Monads - Programmer's Definition.tex

@@ -264,8 +264,7 @@ \section{Fish Anatomy}
 join (Writer ((Writer (a, w')), w)) = Writer (a, w `mappend` w')
 \end{Verbatim}
 
-\section{\texorpdfstring{The \code{do}
-Notation}{The do Notation}}
+\section{The \texttt{do} Notation}
 
 One way of writing code using monads is to work with Kleisli arrows ---
 composing them using the fish operator. This mode of programming is the

src/content/3.5/Monads and Effects.tex

@@ -454,11 +454,11 @@ \subsection{Continuations}
 \code{hb} is called from the innermost layer of the computation.
 Here's the full instance:
 
-\begin{Verbatim}
+\begin{minted}[breaklines,fontsize=\small]{text}
 instance Monad (Cont r) where
     ka >>= kab = Cont (\hb -> runCont ka (\a -> runCont (kab a) hb))
     return a = Cont (\ha -> ha a)
-\end{Verbatim}
+\end{minted}
 
 \subsection{Interactive Input}
 

src/content/3.9/Algebras for Monads.tex

@@ -4,7 +4,7 @@
 but we can also answer a few interesting questions.
 \begin{wrapfigure}[8]{R}{0pt}
 \raisebox{0pt}[\dimexpr\height-0.75\baselineskip\relax]{
-\fbox{\includegraphics[width=1.27083in]{images/pigalg.png}}}%
+\includegraphics[width=1.27083in]{images/pigalg.png}}%
 \end{wrapfigure}
 
 One such question