From 717f323609857a40fdbefe7a5ba426747512414a Mon Sep 17 00:00:00 2001 From: Brian Wignall Date: Fri, 29 Nov 2019 14:25:14 -0500 Subject: Fix more typos --- docs/opt-coercion/fc-normalization-rta.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/opt-coercion') 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 -- cgit v1.2.1