diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-01-26 13:39:00 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-01-26 14:03:51 +0100 |
| commit | 9005f91e2884b0db1f8b66b124708f65f7e69b90 (patch) | |
| tree | dc7b694d55c3201b7946fcb3058a31289dff3913 /docs/ndp/vect.tex | |
| parent | 5281dd6f5998af94aa06c3769089db7011ea4463 (diff) | |
| download | haskell-9005f91e2884b0db1f8b66b124708f65f7e69b90.tar.gz | |
Squash some spelling issues
Diffstat (limited to 'docs/ndp/vect.tex')
| -rw-r--r-- | docs/ndp/vect.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ndp/vect.tex b/docs/ndp/vect.tex index 1244972374..cf6ee77ed0 100644 --- a/docs/ndp/vect.tex +++ b/docs/ndp/vect.tex @@ -243,7 +243,7 @@ Note that this is precisely the reason for the \<\parr{\cdot}\> instances for \<\alpha\to\beta\> and \<PA \alpha\>. A term of type \<\forall\alpha.\sigma\> will be lifted to a term of type \<\parr{\forall\alpha.PA \alpha\to\vect{\sigma}}\> which requires the -instances. Apart from closures, these are the only occurences of \<({\to})\> in +instances. Apart from closures, these are the only occurrences of \<({\to})\> in the transformed program, however. |