Skip to content
Snippets Groups Projects
Commit ccd44903 authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Fix bug in DPH docs

parent d5ab3b5e
No related branches found
No related tags found
No related merge requests found
...@@ -169,7 +169,7 @@ c:\sigma\in\Delta \Longrightarrow c_v:\vect{\sigma}\in\Delta ...@@ -169,7 +169,7 @@ c:\sigma\in\Delta \Longrightarrow c_v:\vect{\sigma}\in\Delta
\vect{x} & = x & x is local \\ \vect{x} & = x & x is local \\
\vect{\Lambda\alpha:\kappa.e} & = \vect{\Lambda\alpha:\kappa.e} & =
\Lambda\alpha:\kappa.\lambda{dPA_{\alpha}}:\patype{\alpha:\kappa}.\vect{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{e_1 e_2} & = \vect{e_1}\capp\vect{e_2} \\
\vect{\lambda{x}:\sigma.e} & = Clo \vect{\sigma} \vect{\phi} \tau \pa{\tau} \vect{\lambda{x}:\sigma.e} & = Clo \vect{\sigma} \vect{\phi} \tau \pa{\tau}
(y_1,\dots,y_n) \\ (y_1,\dots,y_n) \\
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment