diff options
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 |