Skip to content

Commit

Permalink
s/practical, interpretation/practical interpretation/ (hmemcpy#273)
Browse files Browse the repository at this point in the history
  • Loading branch information
jasone authored Sep 30, 2021
1 parent f3edf47 commit c005e2b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/content/1.9/function-types.tex
Original file line number Diff line number Diff line change
Expand Up @@ -462,7 +462,7 @@ \subsection{Exponentials of Sums}
\[a^{b+c} = a^{b} \times a^{c}\]
Categorically, this says that the exponential from a coproduct of two
objects is isomorphic to a product of two exponentials. In Haskell, this
algebraic identity has a very practical, interpretation. It tells us
algebraic identity has a very practical interpretation. It tells us
that a function from a sum of two types is equivalent to a pair of
functions from individual types. This is just the case analysis that we
use when defining functions on sums. Instead of writing one function
Expand Down

0 comments on commit c005e2b

Please sign in to comment.