diff options
Diffstat (limited to 'cloogle.tex')
| -rw-r--r-- | cloogle.tex | 50 |
1 files changed, 33 insertions, 17 deletions
diff --git a/cloogle.tex b/cloogle.tex index a45822c..711393a 100644 --- a/cloogle.tex +++ b/cloogle.tex @@ -28,6 +28,12 @@ % https://tex.stackexchange.com/a/23522/23992 \def\imagetop#1{\vtop{\null\hbox{#1}}} +\AtBeginSubsection[]{% + \begin{frame} + \frametitle{Table of Contents} + \tableofcontents[currentsection,currentsubsection] + \end{frame}} + \begin{document} \maketitle @@ -86,18 +92,17 @@ \begin{tikzpicture}[every node/.style={draw,block}] \useasboundingbox (-5,-4) rectangle (3.5,4); \only<1->\tikzsource - \only<1-5>{\node[below=5pt of src-south,draw=none] {\scriptsize Source code};} - \only<2->{\tikzbuilddb} - \only<3->{\tikzbackend} - \only<4->{\tikzcache} - \only<5->{\tikzfrontend} - \only<6->{\tikzfrontendsrc} - \only<7->{\tikzstats} - \only<8->{\tikzclientA} - \only<9->{\tikzclientB} - \only<10->{\tikzclientC} - \only<11->{\tikzclientD} - \only<12->{\tikzclientE} + \only<2->\tikzbuilddb + \only<3->\tikzbackend + \only<4->\tikzcache + \only<5->\tikzfrontend + \only<6->\tikzfrontendsrc + \only<7->\tikzstats + \only<8->\tikzclientA + \only<9->\tikzclientB + \only<10->\tikzclientC + \only<11->\tikzclientD + \only<12->\tikzclientE \end{tikzpicture} \end{frame} @@ -109,7 +114,7 @@ \item With $\pm15,000$ functions, brute force unification search takes too long \item Grouping types together still gives $\pm13,000$ unique types \item If type $t$ generalises $u$, any $v$ that unifies with $u$ will also unify with $t$ - \item This gives a partial ordering on types: + \item This gives a partial order on types: \begin{center} \begin{tikzpicture}[level distance=2em] @@ -118,8 +123,8 @@ \tikzstyle{level 3}=[sibling distance=2em] \node {$a$} child {node {$a \rightarrow b$} - child {node {$Int \rightarrow Int$} child {node {\vdots}} child {node {\vdots}}} - child {node {$a~a \rightarrow a$} child {node {\vdots}}}} + child {node {$Int \rightarrow m~a$} child {node {\vdots}}} + child {node {$a~a \rightarrow a$} child {node {\vdots}} child {node {\vdots}}}} child {node {$f~Real$} child {node {$Maybe~Real$}} child {node {$Either~a~Real$} child {node {\vdots}}}}; @@ -198,9 +203,14 @@ \end{tikzpicture} \end{frame} -\section{The end} +\section*{The end} + +\subsection*{Conclusions} +\begin{frame}{Conclusions} + % TODO +\end{frame} -\subsection{Acknowledgements} +\subsection*{Acknowledgements} \begin{frame}[shrink]{Acknowledgements} Cloogle was conceived and built by: @@ -239,11 +249,17 @@ \end{frame} \appendix +\AtBeginSubsection[]{} \newcounter{finalframe} \setcounter{finalframe}{\value{framenumber}} \section{Appendices} +\begin{frame} + \frametitle{Appendices} + \tableofcontents[currentsection] +\end{frame} + \subsection{Can I use Cloogle for language X?} \begin{frame}{Can I use Cloogle for language X?} \begin{itemize} |