projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d5ab3b5
)
Fix bug in DPH docs
author
Roman Leshchinskiy
<rl@cse.unsw.edu.au>
Wed, 8 Oct 2008 10:16:18 +0000
(10:16 +0000)
committer
Roman Leshchinskiy
<rl@cse.unsw.edu.au>
Wed, 8 Oct 2008 10:16:18 +0000
(10:16 +0000)
docs/ndp/vect.tex
patch
|
blob
|
history
diff --git
a/docs/ndp/vect.tex
b/docs/ndp/vect.tex
index
06d8537
..
29f5125
100644
(file)
--- a/
docs/ndp/vect.tex
+++ b/
docs/ndp/vect.tex
@@
-169,7
+169,7
@@
c:\sigma\in\Delta \Longrightarrow c_v:\vect{\sigma}\in\Delta
\vect{x} & = x & x is local \\
\vect{\Lambda\alpha:\kappa.e} & =
\Lambda\alpha:\kappa.\lambda{dPA_{\alpha}}:\patype{\alpha:\kappa}.\vect{e} \\
-\vect{e[\sigma]} & = \vect{e}[\vect{\sigma}] \\
+\vect{e[\sigma]} & = \vect{e}[\vect{\sigma}] \pa{\vect{\sigma}} \\
\vect{e_1 e_2} & = \vect{e_1}\capp\vect{e_2} \\
\vect{\lambda{x}:\sigma.e} & = Clo \vect{\sigma} \vect{\phi} \tau \pa{\tau}
(y_1,\dots,y_n) \\