diff -r e6afcdabd3ea -r bd5775cc8a45 slides/slides08.tex --- a/slides/slides08.tex Thu Nov 20 14:48:11 2014 +0000 +++ b/slides/slides08.tex Thu Nov 20 18:11:36 2014 +0000 @@ -374,14 +374,14 @@ \begin{bubble}[10cm] \begin{tabular}{l} -\footnotesize\code{h("Hello, world!0")}\\ +\footnotesize\code{h("Hello, world!0") =}\\ \;\;\scriptsize\code{1312af178c253f84028d480a6adc1e25e81caa44c749ec81976192e2ec934c64}\\ \pause -\footnotesize\code{h("Hello, world!1")}\\ +\footnotesize\code{h("Hello, world!1") =}\\ \;\;\scriptsize\code{e9afc424b79e4f6ab42d99c81156d3a17228d6e1eef4139be78e948a9332a7d8}\\ \pause \ldots\\ -\footnotesize\code{h("Hello, world!4250")}\\ +\footnotesize\code{h("Hello, world!4250") =}\\ \;\;\scriptsize\code{0000c3af42fc31103f1fdc0151fa747ff87349a4714df7cc52ea464e12dcd4e9} \end{tabular} \end{bubble}