From 4847ce671ba8bdfdd55b13f661a48500e01808b9 Mon Sep 17 00:00:00 2001
From: Natalie Perna <nmperna@gmail.com>
Date: Mon, 5 Jun 2017 21:27:42 -0400
Subject: [PATCH] Pause between Agda and Haskell code.

---
 Presentation/Presentation.lhs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Presentation/Presentation.lhs b/Presentation/Presentation.lhs
index 1efc9c4..383fe4e 100644
--- a/Presentation/Presentation.lhs
+++ b/Presentation/Presentation.lhs
@@ -109,6 +109,7 @@ Proof:\\
 \input{Agda/latex/Sharing}
 \end{subfigure}
 \hspace{1cm}
+\pause
 \begin{subfigure}{.55\textwidth}
 \lstinputlisting[style=haskell]{Figures/Sharing.hs}
 \end{subfigure}
@@ -165,6 +166,7 @@ Inline all proper projections.
 \input{Agda/latex/Example1}
 \end{subfigure}
 \hspace{1cm}
+\pause
 \begin{subfigure}{.55\textwidth}
 \lstinputlisting[style=diff]{Figures/Example1_inline.diff}
 \end{subfigure}