diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-01-10 19:23:02 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-01-10 19:24:11 +0100 |
| commit | ea5da60949d861286d81bf4337adceae89d0e626 (patch) | |
| tree | 56af7273cbb7c9af0adb91336f477fb523c6ab92 /docs/ndp | |
| parent | b7ddf6337760c65f22110937da09cd169cd3e8b3 (diff) | |
| download | haskell-ea5da60949d861286d81bf4337adceae89d0e626.tar.gz | |
Comment typos only
Diffstat (limited to 'docs/ndp')
| -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 29f5125471..1244972374 100644 --- a/docs/ndp/vect.tex +++ b/docs/ndp/vect.tex @@ -50,7 +50,7 @@ representing dictionaries of type-dependent operations on parallel arrays: \end{haskell} In vectorised code, polymorphic functions must be supplied with a \<PA\> -dictionary for each type varialbe. For instance, \<\Lambda\alpha.e\> turns +dictionary for each type variable. For instance, \<\Lambda\alpha.e\> turns into \<\Lambda\alpha.\lambda{dPA_\alpha}::PA \alpha.e'\>. For higher-kinded type variables, we expect a function of appropriate type |