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

subtype graphs as backup slides

Browse source
This commit is contained in:
Michael Sippel 2024-09-24 10:36:55 +02:00
parent 3adeebc8eb
commit 251289c510
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -704,5 +704,19 @@ D :: \Gamma \vdash \metavariable{e} : \metavariable{\tau}\\
%%%
%%% BACKUP
%%%
\begin{frame}{Subtype Relation}
\includegraphics[width=\textwidth]{sot-int.png}
\end{frame}
\begin{frame}{Subtype Relation}
\includegraphics[width=\textwidth]{sot-json.png}
\end{frame}
\end{document}