syntaxAlchemist/ladder-calculus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove related work slide

Browse source
This commit is contained in:
Michael Sippel 2024-09-24 11:57:47 +02:00
parent ab81edb753
commit 04cc471c19
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
beamer/lc-beamer/example.tex
View file

@ -318,16 +318,6 @@ image-write "out.png" im3
\end{itemize} \end{itemize}
\end{frame} \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{frame}{Ladder Types}
\begin{block}{Intuition} \begin{block}{Intuition}
Encode "represented-as" relation into type terms Encode "represented-as" relation into type terms