From 251289c51010d4af3d26055cb4a75b125f27ba1e Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Tue, 24 Sep 2024 10:36:55 +0200
Subject: [PATCH] subtype graphs as backup slides

---
 beamer/lc-beamer/example.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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}