diff options
| author | Brian Wignall <brianwignall@gmail.com> | 2019-11-29 14:25:14 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-02 03:44:16 -0500 |
| commit | 717f323609857a40fdbefe7a5ba426747512414a (patch) | |
| tree | daa6c5cb93d35ac3b13e02f72484e87ca6e4aa3f /docs/opt-coercion | |
| parent | 18baed641fccc7fd91988334544d47505b577810 (diff) | |
| download | haskell-717f323609857a40fdbefe7a5ba426747512414a.tar.gz | |
Fix more typos
Diffstat (limited to 'docs/opt-coercion')
| -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 c3bf41bd81..0600427e98 100755 --- a/docs/opt-coercion/fc-normalization-rta.tex +++ b/docs/opt-coercion/fc-normalization-rta.tex @@ -227,7 +227,7 @@ which has evolved from System F to System FC source-language features of \emph{GADTs}~\cite{cheney-hinze:phantom-types,sheard:omega,spj+:gadt} and \emph{type families}~\cite{Kiselyov09funwith,chak+:synonyms}. -The key feature that allows System FC to accomodate GADTs and type +The key feature that allows System FC to accommodate GADTs and type families is its use of explicit \emph{coercions} that witness the equality of two syntactically-different types. Coercions are erased before runtime but, like types, serve as a static consistency |