diff options
Diffstat (limited to 'cloogle.tex')
-rw-r--r-- | cloogle.tex | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/cloogle.tex b/cloogle.tex index 982435c..9f14d38 100644 --- a/cloogle.tex +++ b/cloogle.tex @@ -113,6 +113,18 @@ \end{itemize} \end{frame} +\begin{frame}[shrink]{Efficient unification search} + \begin{itemize}[<+->] + \item I would show you the real tree, but it is too large for most viewers + \item Here is a detail of the tree for 5,000 functions: + + \medskip + \begin{center} + \includegraphics[width=\textwidth]{typetree-detail} + \end{center} + \end{itemize} +\end{frame} + \section{Architecture} \subsection{Overview} \begin{frame}{Architecture} |