hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-23 12:24:40 +03:00
Code Issues Projects Releases Wiki Activity

Chapter 6: Minor rewording (#105)

Browse Source
This commit is contained in:
Colin Woodbury 2018-01-19 06:58:15 -08:00 committed by Igal Tabachnik
parent 682c90356d
commit fcd1adc62d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/content/1.6/Simple Algebraic Data Types.tex
View File

@ -470,7 +470,7 @@ other, but if you think about it, they must be! They are just trivially
re-packing the contents of the two data structures. It's the same data,
only different format.
Mathematicians have a name for such two intertwined monoids: it's called
Mathematicians have a name for two such intertwined monoids: it's called
a \newterm{semiring}. It's not a full \newterm{ring}, because we can't define
subtraction of types. That's why a semiring is sometimes called a
\newterm{rig}, which is a pun on ``ring without an \emph{n}'' (negative).