--- a/slides/slides09.tex	Mon Dec 14 19:22:12 2020 +0000
+++ b/slides/slides09.tex	Thu Dec 17 17:43:40 2020 +0000
@@ -327,6 +327,60 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[fragile,c]
+\frametitle{KLet}
+
+\begin{lstlisting}[language=LLVM]
+tmp0 = add 1 a   
+tmp1 = mul b 5 
+tmp2 = add 3 tmp1 
+tmp3 = add tmp0 tmp2  
+\end{lstlisting}
+
+\begin{lstlisting}[language=LLVMIR]
+  KLet tmp0 , add 1 a in  
+   KLet tmp1 , mul b 5 in
+    KLet tmp2 , add 3 tmp1 in 
+     KLet tmp3 , add tmp0 tmp2 in
+      ...
+\end{lstlisting}
+
+\begin{lstlisting}[language=Scala,numbers=none]
+case class KLet(x: String, e1: KVal, e2: KExp)
+\end{lstlisting}
+
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[fragile,c]
+\frametitle{KLet}
+
+\begin{lstlisting}[language=LLVM]
+tmp0 = add 1 a   
+tmp1 = mul b 5 
+tmp2 = add 3 tmp1 
+tmp3 = add tmp0 tmp2  
+\end{lstlisting}
+
+\begin{lstlisting}[language=LLVMIR]
+  let tmp0 = add 1 a in  
+   let tmp1 = mul b 5 in
+    let tmp2 = add 3 tmp1 in 
+     let tmp3 = add tmp0 tmp2 in
+      ...
+\end{lstlisting}
+
+\begin{lstlisting}[language=Scala,numbers=none]
+case class KLet(x: String, e1: KVal, e2: KExp)
+\end{lstlisting}
+
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[fragile,c]
 \frametitle{CPS-Translation}
 \small