update slides

diff --git a/long2/slides.tex b/long2/slides.tex
index 93e0b35..82f4161 100644 (file)
--- a/long2/slides.tex
+++ b/long2/slides.tex
@@ -1,5 +1,6 @@
 \documentclass{beamer}
 
+\usepackage{stmaryrd}
 
 \title{Do you see what I see?}
 \subtitle{\emph{Functional pearl} (2016)}
@@ -13,15 +14,41 @@
 \begin{frame}
        \frametitle{Objective}
        \begin{block}{Elaborate on the type system}
+               \begin{itemize}
+                       \pause\item Racket programming language
+                       \pause\item Implemented as macro
+                       \pause\item No extra syntax or annotations
+                       \pause\item Syntactical analyses
+               \end{itemize}
+       \end{block}
+       \begin{block}{Why?}
                \begin{itemize}[<+->]
-                       \item Typed racket
-                       \item Implemented as macro
-                       \item No extra syntax or annotations
-                       \item Syntactical analyses
+                       \item Pass typechecker? Correct program\ldots
+                       \item Solve problems with arity
+                       \item Look at text
                \end{itemize}
        \end{block}
 \end{frame}
+
 % Proposal: if the paper presents a new idea, what, in a nutshell, is it?
+\begin{frame}
+       \frametitle{Proposal (1)}
+       \begin{block}{Notation}
+               Implementation in Typed Racket\\
+               %macro language that compiles in racket BEFORE type checking
+               \texttt{$\llbracket$e$\rrbracket$}- Elaboration function on $e$\\
+       \end{block}
+       \pause%
+       \begin{block}{Curry example}
+               \begin{tabular}{rl}
+                       \texttt{$\llbracket$ (curry ($\lambda$ (x y) x)) $\rrbracket$}
+                               & \texttt{= (curry\_2 ($\lambda$ (x y) x))}\\
+                       \pause%
+                       \texttt{$\llbracket$ (curry ($\lambda$ (x y z) x)) $\rrbracket$}
+                               & \texttt{= (curry\_3 ($\lambda$ (x y z) x))}\\
+                       \end{tabular}
+       \end{block}
+\end{frame}
 
 % Evidence: Support for claims - Theorems? Case studies? Simulations?