wip

winitzki · Aug 16, 2024 · e35e5e6 · e35e5e6
1 parent 6d0c698
commit e35e5e6
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/sofp-src/tex/chapter3-picture.pdf b/sofp-src/tex/chapter3-picture.pdf
diff --git a/sofp-src/tex/sofp-typeclasses.tex b/sofp-src/tex/sofp-typeclasses.tex
@@ -1095,8 +1095,8 @@ \subsubsection{Example \label{subsec:tc-Example-Monoids}\ref{subsec:tc-Example-M
 
 A semigroup with a designated \textsf{``}empty\textsf{''} value is called a \textbf{monoid}\index{monoid|textit}.
 Formally, a type $T$ is a monoid when there is an associative binary
-operation $\oplus_{T}$ and a chosen \textsf{``}empty\textsf{''} value ($e^{:T}$)
-such that: 
+operation $\oplus_{T}$ and a chosen \textsf{``}empty\textsf{''} value ($e$ of type
+$T$, also denoted by $e_{T}$) such that: 
 \begin{equation}
 \text{for all }x^{:T}:\quad e\oplus_{T}x=x\quad,\quad\quad x\oplus_{T}e=x\quad.\label{eq:identity-laws-of-monoid}
 \end{equation}

diff --git a/sofp-src/tex/sofp.tex b/sofp-src/tex/sofp.tex
@@ -336,9 +336,9 @@
 {\footnotesize{}ISBN (e-book): 978-0-359-76877-6}\\
 {\footnotesize{}ISBN: 978-0-359-76877-6}\\
 \\
-{\scriptsize{}Source hash (sha256): f11a4f3940a543e96e5adef6229f79208ba48dfd0e24f4458a96ad6622202b40}\\
-{\scriptsize{}Git commit: 4ad8df8ba369a0c968da84d7ef5e54bc5f861005}\\
-{\scriptsize{}PDF file built on Thu, 15 Aug 2024 22:37:31 +0200 by pdfTeX 3.141592653-2.6-1.40.22 (TeX Live 2021) on Darwin}\\
+{\scriptsize{}Source hash (sha256): 6d2c32ff2563fe31726d89631c315c93e6767fbcdcf275c18dfd4133aba3970e}\\
+{\scriptsize{}Git commit: 6d0c698eea409a8a361e2274db6802396e7fa5fc}\\
+{\scriptsize{}PDF file built on Thu, 15 Aug 2024 23:02:20 +0200 by pdfTeX 3.141592653-2.6-1.40.22 (TeX Live 2021) on Darwin}\\
 ~\\
 {\scriptsize{}Permission is granted to copy, distribute and/or modify
 this document under the terms of the GNU Free Documentation License,