First version almost finished

1 files changed, 36 insertions, 6 deletions

diff --git a/paper/paper.tex b/paper/paper.tex
index d036bda..7d63d8c 100644
--- a/paper/paper.tex
+++ b/paper/paper.tex
@@ -1,11 +1,14 @@
 \documentclass[a4paper]{article}
 
 \usepackage[english]{babel}
-\usepackage{geometry}
+\usepackage[margin=2cm,bottom=3.5cm]{geometry}
 \usepackage[hidelinks]{hyperref}
 \usepackage{natbib}
 
+\usepackage{amsmath}
 \usepackage{enumitem}
+\usepackage{multicol}
+\usepackage{stmaryrd}
 
 \usepackage{syntax}
 \renewcommand\litleft{\bgroup\tt}
@@ -13,6 +16,20 @@
 \def\<#1>{\synt{#1}}
 \def\`#1'{\lit{#1}}
 
+\usepackage{clean}
+\usepackage[dvipsnames]{xcolor}
+\lstdefinestyle{coloured}{
+	keywordstyle=\bfseries\color{NavyBlue},
+	stringstyle=\ttfamily\color{BrickRed}
+}
+\lstset{
+	language=Clean,
+	breaklines,
+	tabsize=2,
+	xleftmargin=\parindent,
+	style=coloured
+}
+
 \usepackage{while}
 
 \title{Imperative code interpretation in a functional style}
@@ -20,13 +37,26 @@
 
 \begin{document}
 
-\maketitle
+\abovedisplayshortskip=-4pt
+\abovedisplayskip=\abovedisplayshortskip
+\belowdisplayshortskip=7pt
+\belowdisplayskip=\belowdisplayshortskip
 
+\maketitle
 \input{abs}
-\input{intro}
 
-\bibliographystyle{jfp}
-\bibliography{paper}
+\begin{multicols}{2}
+	\input{intro}
+	\input{predefs}
+	\input{ast}
+	\input{eval}
+	\input{interp}
+
+	\appendix
+	\input{ftypes}
 
-\end{document}
+	\bibliographystyle{jfp}
+	\bibliography{paper}
+\end{multicols}
 
+\end{document}