Added quote example
This commit is contained in:
1 parent
c05a7bd2d5
commit
6f3d8d514b
1 file changed
+40
@@ -173,6 +173,46 @@ Motivation and examples
|
|||||||
\end{verbatim}
|
\end{verbatim}
|
||||||
\end{frame}
|
\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]
|
\begin{frame}[fragile]
|
||||||
\frametitle{Larger Example}
|
\frametitle{Larger Example}
|
||||||
\footnotesize
|
\footnotesize
|
||||||
|
|||||||
Reference in new issue
Block a user