diff options
Diffstat (limited to 'doc/types.tex')
| -rw-r--r-- | doc/types.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/types.tex b/doc/types.tex index a74cdea9..4d94aef0 100644 --- a/doc/types.tex +++ b/doc/types.tex @@ -167,7 +167,7 @@ follows: unsolved goals. This unification step may generate new existential variables and constraints which are added to $\mathit{Existentials}$ and $\mathit{Constraints}$ as needed. The results of this - unification step are used to resolve the univarsally-quantified type + unification step are used to resolve the universally-quantified type variables in $Q$. If $x_m$ does not contain free type variables in $Q$, then we simply check it against $B_m$. |