diff --git a/beamer/lc-beamer/example.tex b/beamer/lc-beamer/example.tex index 621463c..f1dfc9c 100644 --- a/beamer/lc-beamer/example.tex +++ b/beamer/lc-beamer/example.tex @@ -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}