diff --git a/doc/presentation.tex b/doc/presentation.tex index 5bc379c..770e017 100644 --- a/doc/presentation.tex +++ b/doc/presentation.tex @@ -173,6 +173,46 @@ Motivation and examples \end{verbatim} \end{frame} +\begin{frame}[fragile] +\frametitle{Small Vau-specific Example (implementing quote)} +\footnotesize +\begin{verbatim} +{ ...root environment...} +((vau (x) x) hello) +\end{verbatim} +\end{frame} + +\begin{frame}[fragile] +\footnotesize +\begin{verbatim} +{ ...root environment...} +(( (x) x) hello) +\end{verbatim} +\end{frame} + +\begin{frame}[fragile] +\footnotesize +\begin{verbatim} +{ ...root environment...} +( hello) +\end{verbatim} +\end{frame} + +\begin{frame}[fragile] +\footnotesize +\begin{verbatim} +{ x: 'hello | upper: {...root env....}} +x +\end{verbatim} +\end{frame} + +\begin{frame}[fragile] +\footnotesize +\begin{verbatim} +'hello +\end{verbatim} +\end{frame} + \begin{frame}[fragile] \frametitle{Larger Example} \footnotesize