diff options
author | Camil Staps | 2017-10-28 23:00:16 +0200 |
---|---|---|
committer | Camil Staps | 2017-10-28 23:00:16 +0200 |
commit | 712e3084edb5ed28ca4509c8314c7ff9cb5adb26 (patch) | |
tree | fadd04f6a7e8d4e4dcd3b0745755c66b4ff337db | |
parent | Change take to tak in name search example (diff) |
Add slide with type tree detail
-rw-r--r-- | cloogle.tex | 12 | ||||
-rw-r--r-- | typetree-detail.png | bin | 0 -> 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 Binary files differnew file mode 100644 index 0000000..326ce09 --- /dev/null +++ b/typetree-detail.png |