aboutsummaryrefslogtreecommitdiff
path: root/cloogle.tex
diff options
context:
space:
mode:
Diffstat (limited to 'cloogle.tex')
-rw-r--r--cloogle.tex12
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}