/
dissertation.tex
86 lines (70 loc) · 2.38 KB
/
dissertation.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
\documentclass[paper=letter, twoside, openright, titlepage, headinclude,
footinclude, BC0R=5mm, cleardoublepage=empty,
index=totoc, fontsize=11pt, abstract=on]{scrreprt}
% Template:
% https://bitbucket.org/amiede/classicthesis/src/94f83724d501be794df38121c2412db6e895c98a/ClassicThesis.tex?at=master&fileviewer=file-view-default
\includeonly{config,tech,defs,
frontbackmatters/titlepage,
%frontbackmatters/signatures,
frontbackmatters/dedication,
frontbackmatters/abstract,
frontbackmatters/acks,
frontbackmatters/support,
frontbackmatters/conventions,
frontbackmatters/poem,
frontbackmatters/toc,
chapters/intro,
chapters/source,
chapters/type-pres,
chapters/anf,
chapters/abs-cc,
chapters/cps,
chapters/param-cc,
chapters/conclusions,
chapters/source-appendix,
chapters/anf-appendix,
chapters/abs-cc-appendix,
chapters/cps-appendix,
chapters/param-cc-appendix,
frontbackmatters/listoffigs,
frontbackmatters/bib,
}
\include{config}
\include{tech}
\include{defs}
\renewcommand{\todo}[1]{}
\title{Compiling with Dependent Types}
\author{William J. Bowman}
\date{}
\begin{document}
\include{frontbackmatters/titlepage}
\cleardoublepage\include{frontbackmatters/signatures}
\cleardoublepage\include{frontbackmatters/dedication}
\cleardoublepage\include{frontbackmatters/abstract}
\cleardoublepage\include{frontbackmatters/acks}
\cleardoublepage\include{frontbackmatters/support}
\cleardoublepage\include{frontbackmatters/conventions}
\cleardoublepage\include{frontbackmatters/poem}
\cleardoublepage\include{frontbackmatters/toc}
\renewcommand{\slang}{\anfslang}
\cleardoublepage\include{chapters/intro}
\cleardoublepage\include{chapters/source}
\cleardoublepage\include{chapters/type-pres}
\cleardoublepage\include{chapters/anf}
\cleardoublepage\include{chapters/abs-cc}
\cleardoublepage\include{chapters/cps}
\cleardoublepage\include{chapters/param-cc}
\cleardoublepage\include{chapters/conclusions}
% Now leaving last chapter.
\bookmarksetup{startatroot}
\cleardoublepage\include{frontbackmatters/listoffigs}
%\begin{theindex}
%\end{theindex}
\cleardoublepage\include{frontbackmatters/bib}
\appendix
\cleardoublepage\include{chapters/source-appendix}
\cleardoublepage\include{chapters/anf-appendix}
\cleardoublepage\include{chapters/abs-cc-appendix}
\cleardoublepage\include{chapters/cps-appendix}
\cleardoublepage\include{chapters/param-cc-appendix}
\end{document}