diff --git a/beamer/lc-beamer/example.tex b/beamer/lc-beamer/example.tex index 463277e..bfc55f2 100644 --- a/beamer/lc-beamer/example.tex +++ b/beamer/lc-beamer/example.tex @@ -318,16 +318,6 @@ image-write "out.png" im3 \end{itemize} \end{frame} - -\begin{frame}{Related Work} - \begin{itemize} - \item TODO - \item cite - \item some - \item stuff - \end{itemize} -\end{frame} - \begin{frame}{Ladder Types} \begin{block}{Intuition} Encode "represented-as" relation into type terms