diff options
| author | Brian Wignall <brianwignall@gmail.com> | 2019-11-26 08:26:41 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-28 02:54:52 -0500 |
| commit | 3748ba3a01f81078025b86023833784055d1af57 (patch) | |
| tree | f5df08b667ac13c9dc28160aee08fec1a216a0bd /docs/opt-coercion/fc-normalization-rta.tex | |
| parent | 5f84b52a9c439ae2739bf1899a2adbae9c6d4f67 (diff) | |
| download | haskell-3748ba3a01f81078025b86023833784055d1af57.tar.gz | |
Fix typos, using Wikipedia list of common typos
Diffstat (limited to 'docs/opt-coercion/fc-normalization-rta.tex')
| -rwxr-xr-x | docs/opt-coercion/fc-normalization-rta.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/opt-coercion/fc-normalization-rta.tex b/docs/opt-coercion/fc-normalization-rta.tex index a1e7d4201d..c3bf41bd81 100755 --- a/docs/opt-coercion/fc-normalization-rta.tex +++ b/docs/opt-coercion/fc-normalization-rta.tex @@ -802,7 +802,7 @@ $$ \gamma ; \sym{\gamma} & \rsa{} & \refl{\tau} & \text{if}\,\gamma : \tau \psim \phi \end{array} $$ -But ther are much more complicated rewrites to consider. +But there are much more complicated rewrites to consider. Consider these coercions, where $C_N$ is the axiom generated by the newtype coercion in Section~\ref{sec:newtype}: $$ |