report type checking wip
[cc1516.git] / deliverables / report / report.tex
1 \documentclass{article}
2
3 \usepackage{listings}
4 \usepackage{clean}
5 \usepackage{spl}
6 \usepackage{hyperref}
7 \usepackage[a4paper]{geometry}
8 \usepackage{proof}
9
10 \title{Compiler Construction: SPL Compiler}
11 \author{Pim Jager\and Mart Lubbers}
12 \date{\today}
13
14 \lstset{%
15 basicstyle=\ttfamily\footnotesize,
16 breaklines,
17 captionpos=b
18 }
19
20 \newcommand{\SPLC}{\texttt{SPLC}}
21 \newcommand{\SPL}{\texttt{SPL}}
22 \newcommand{\SSM}{\texttt{SSM}}
23 \def\AST/{\texttt{AST}}
24
25 \let\tt\texttt
26
27 \begin{document}
28 \maketitle
29 \tableofcontents
30 \newpage
31
32 \input{intro.tex}
33
34 \input{pars.tex}
35
36 \input{sem.tex}
37
38 \input{gen.tex}
39
40 \input{ext.tex}
41
42 \end{document}