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 | |
| parent | 5281dd6f5998af94aa06c3769089db7011ea4463 (diff) | |
| download | haskell-9005f91e2884b0db1f8b66b124708f65f7e69b90.tar.gz | |
Squash some spelling issues
Diffstat (limited to 'docs/ndp')
| -rw-r--r-- | docs/ndp/haskell.sty | 2 | ||||
| -rw-r--r-- | docs/ndp/vect.tex | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/ndp/haskell.sty b/docs/ndp/haskell.sty index 969ad673fe..3e4d478b1e 100644 --- a/docs/ndp/haskell.sty +++ b/docs/ndp/haskell.sty @@ -87,7 +87,7 @@ \ProvidesPackage{haskell}[2002/02/08 v1.1a Chilli's Haskell Style] % NOTE: The sole purpose of the following is to work around what I believe is -% a bug in LaTeX. If the first occurence of \mathit in a document uses +% a bug in LaTeX. If the first occurrence of \mathit in a document uses % \bgroup and \egroup to enclose the argument (instead of { and }), % \mathit does *not* apply to the argument. (I guess, some font % initialisation stuff is getting in the way of parsing the argument.) 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. |