aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--cloogle.tex12
-rw-r--r--typetree-detail.pngbin0 -> 430099 bytes
2 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}
diff --git a/typetree-detail.png b/typetree-detail.png
new file mode 100644
index 0000000..326ce09
--- /dev/null
+++ b/typetree-detail.png
Binary files differ