projects
/
bitonic-mengthesis.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
77835ae
)
...
author
Francesco Mazzoli
<f@mazzo.li>
Mon, 24 Jun 2013 14:35:47 +0000
(15:35 +0100)
committer
Francesco Mazzoli
<f@mazzo.li>
Mon, 24 Jun 2013 14:35:47 +0000
(15:35 +0100)
presentation.tex
patch
|
blob
|
history
diff --git
a/presentation.tex
b/presentation.tex
index a8e4995d7a36b8314c159f2c5364d2e2ebe5721d..3637b14eb72cbe1f1e28d813e236515578667b5f 100644
(file)
--- a/
presentation.tex
+++ b/
presentation.tex
@@
-477,7
+477,7
@@
Without the $\myb{l}$ we cannot compute, so we are stuck with
\[
\begin{array}{@{}l@{\ }l}
\mytyc{List}.\myfun{elim} \myappsp \myse{P} \myappsp \myse{pn} \myappsp \myse{pc} \myappsp \mynil & \myred \myse{pn} \\
\[
\begin{array}{@{}l@{\ }l}
\mytyc{List}.\myfun{elim} \myappsp \myse{P} \myappsp \myse{pn} \myappsp \myse{pc} \myappsp \mynil & \myred \myse{pn} \\
- \mytyc{List}.\myfun{elim} \myappsp \myse{P} \myappsp \myse{pn} \myappsp \myse{pc} \myappsp (\mytmm \mycons \mytmn) & \myred \myse{pc} \myappsp \mytmm \myappsp \mytmn \myappsp (\mytyc{List}.\myfun{elim} \myappsp \myse{P} \myappsp \myse{pn} \myappsp \myse{ps} \myappsp \mytm
t
)
+ \mytyc{List}.\myfun{elim} \myappsp \myse{P} \myappsp \myse{pn} \myappsp \myse{pc} \myappsp (\mytmm \mycons \mytmn) & \myred \myse{pc} \myappsp \mytmm \myappsp \mytmn \myappsp (\mytyc{List}.\myfun{elim} \myappsp \myse{P} \myappsp \myse{pn} \myappsp \myse{ps} \myappsp \mytm
n
)
\end{array}
\]
\end{frame}
\end{array}
\]
\end{frame}