.

system-f · May 27, 2019 · fd621c9 · fd621c9
1 parent e976336
commit fd621c9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/benefits.tex b/benefits.tex
@@ -26,7 +26,7 @@
 \end{frame}
 
 \begin{frame}
-\begin{block}{Some general ``handwavy'' benefits are}
+\begin{block}{Some general benefits are}
 \begin{center}
 \begin{itemize}
 \item<1-> an ability to \emph{reason} about \emph{discrete} programs and sub-programs i.e. \emph{local reasoning}

diff --git a/compare-programs.tex b/compare-programs.tex
@@ -3,7 +3,7 @@
 \begin{itemize}
 \item \lstinline{python}
 \item \lstinline{haskell}
-\ldots
 \end{itemize}
+\ldots
 \end{block}
 \end{frame}