[presentation] Add pauses to comonoid structure

georgejkaye · Feb 7, 2023 · 444e5e1 · 444e5e1
1 parent f991db7
commit 444e5e1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/sections/syntax.tex b/sections/syntax.tex
@@ -29,10 +29,12 @@ \section{Syntax}
         \vspace{1em}
 
         \renewcommand{\arraystretch}{1.75}
+        \wait
         \begin{tabular}{cl}
             \hspace{0.175cm}
             \dsptikzfig{strings/structure/monoid/init}[comb] &
             disconnected \\
+            \wait
             \dsptikzfig{strings/structure/comonoid/copy}[comb] &
             fork \\
             \wait
@@ -159,4 +161,4 @@ \section{Syntax}
 
     \Huge
     \(\scirc{}\)
-\end{frame}
+\end{frame}