diff options
Diffstat (limited to 'cloogle.tex')
| -rw-r--r-- | cloogle.tex | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/cloogle.tex b/cloogle.tex index fac9f80..fea32b6 100644 --- a/cloogle.tex +++ b/cloogle.tex @@ -150,7 +150,7 @@ \begin{tikzpicture}[every node/.style={draw,block}] \useasboundingbox (-5,-4) rectangle (3.5,4); \tikzsource - \tikzbuilddb + \tikzbuilddb[1] \only<1>{% \tikzbackend[1] \tikzcache[1] @@ -289,6 +289,14 @@ \end{itemize} \end{frame} +\subsection{Couldn't you use Hoogle?} +\begin{frame}{Couldn't you use Hoogle?} + \begin{itemize} + \item When we started we didn't realise it would be so much work + \item Right now, having the pipeline set up turns out to be really useful for other goals as well + \end{itemize} +\end{frame} + \subsection{Numbers} \begin{frame}{Numbers\setcounter{footnote}{0}\footnotemark} \setcounter{footnote}{1} |