From 6f3d8d514bcf5afb13be6f3afb20ae997584447e Mon Sep 17 00:00:00 2001
From: Nathan Braswell <miloignis@gmail.com>
Date: Tue, 1 Feb 2022 00:50:36 -0500
Subject: [PATCH] Added quote example

---
 doc/presentation.tex | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

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...}
+((<vau> (x) x) hello)
+\end{verbatim}
+\end{frame}
+
+\begin{frame}[fragile]
+\footnotesize
+\begin{verbatim}
+{ ...root environment...}
+(<comb wraplevel=0 (x) x> 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