aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2017-10-28 23:00:16 +0200
committerCamil Staps2017-10-28 23:00:16 +0200
commit712e3084edb5ed28ca4509c8314c7ff9cb5adb26 (patch)
treefadd04f6a7e8d4e4dcd3b0745755c66b4ff337db
parentChange take to tak in name search example (diff)
Add slide with type tree detail
-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