Merge gen-plet application with previous slide.

sudonatalie · Jun 6, 2017 · 5db7f34 · 5db7f34
1 parent 420f63f
commit 5db7f34
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/Presentation/Presentation.lhs b/Presentation/Presentation.lhs
@@ -251,10 +251,11 @@ in t
 \end{spec}
 \end{subfigure}
 \end{figure}
-where |unreachable(u)|.
-\end{frame}
+\vspace{-1em}
+\footnotesize{\quad where |unreachable(u)|.}
+
+\rule{\textwidth}{0.4pt}
 
-\begin{frame}{Pattern Let Generating: Application}
 \lstinputlisting[style=diff]{Figures/Triangle_genplet.diff}
 \end{frame}