diff options
author | Francesco Mazzoli <f@mazzo.li> | 2013-06-24 15:35:47 +0100 |
---|---|---|
committer | Francesco Mazzoli <f@mazzo.li> | 2013-06-24 15:35:47 +0100 |
commit | 95c3d9e917aed71c3cd2055e9addfff117a760a9 (patch) | |
tree | d74bf05a34056e44ac2ba2de725faf0e7c158eb8 /presentation.tex | |
parent | 77835ae8b245290c8e9593bf504e4ffc267154fe (diff) |
...
Diffstat (limited to 'presentation.tex')
-rw-r--r-- | presentation.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/presentation.tex b/presentation.tex index a8e4995..3637b14 100644 --- 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} \\ - \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 \mytmt ) + \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 \mytmn ) \end{array} \] \end{frame} |