diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-01-27 11:11:04 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-01-27 11:11:04 +0100 |
| commit | 448ea978318a9f8c9bb611803aa01f934b111fe9 (patch) | |
| tree | 75215b895e337d364b9b11d8e9b9ae4289c1cfac /docs/backpack/algorithm.tex | |
| parent | 45fd83bb5ed3a66320eb873039b65566f53ed36a (diff) | |
| download | haskell-448ea978318a9f8c9bb611803aa01f934b111fe9.tar.gz | |
Typos in comments
Diffstat (limited to 'docs/backpack/algorithm.tex')
| -rw-r--r-- | docs/backpack/algorithm.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/backpack/algorithm.tex b/docs/backpack/algorithm.tex index 1c7192c0c3..c98781c6ad 100644 --- a/docs/backpack/algorithm.tex +++ b/docs/backpack/algorithm.tex @@ -671,7 +671,7 @@ we have to type-check the \I{ModIface} with the following adjustments: with a unit key that is a $\verb|hole|$, substitute with the recorded \I{Name} in the requirements of the shape. Otherwise, look up the (unique) \I{ModIface} for the \I{Module}, - and subsitute with the corresponding \I{Name} in the \I{mi\_exports}. + and substitute with the corresponding \I{Name} in the \I{mi\_exports}. \end{enumerate} \paragraph{Signatures} For signatures, we have a \I{Module} of the form |