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

Improve wording

Browse Source
This commit is contained in:
Bartosz Milewski 2018-09-17 22:14:46 -07:00
parent 9488b456a4
commit f4c2e7b74e
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/3.10/Ends and Coends.tex
View File

@ -236,7 +236,7 @@ polymorphic functions of the type:
\begin{Verbatim}
type ProdP p = forall a b. (a -> b) -> p a b
\end{Verbatim}
These functions have different types. However, we can unify their types,
Functions \code{lambda} and \code{rho} have different types. However, we can unify their types,
if we form one big product type, gathering together all diagonal
elements of \code{p}: