Pause between Agda and Haskell code.

sudonatalie · Jun 6, 2017 · 4847ce6 · 4847ce6
1 parent 5f98b32
commit 4847ce6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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}