Commits

Alessandro Vermeulen committed 41dc9d8

Initial begin with paper + makefile

Comments (0)

Files changed (2)

+all: doc
+
+doc: paper.lhs references.bib
+	lhs2TeX-hl -o paper.fmt paper.lhs && lhs2TeX -o paper.tex paper.lhs && pdflatex paper.tex && bibtex paper && pdflatex paper.tex && pdflatex paper.tex
+\documentclass[a4paper,11pt]{article}
+\usepackage[english]{babel}
+\usepackage[sort&compress]{natbib}
+\usepackage{color , hyperref , tikz} 
+\usepackage{verbatim , parskip, fullpage}
+\usepackage{amsmath}
+\usepackage{alltt}
+
+\definecolor{syntax}{RGB}{0, 0, 0}
+\definecolor{datatype}{RGB}{196, 6, 11}
+\definecolor{class}{RGB}{168,37,39}
+\definecolor{fieldname}{RGB}{0,0,162}
+\definecolor{prelude}{RGB}{64,80,117}
+\definecolor{numeral}{RGB}{0,0,205}
+\definecolor{infixoperator}{RGB}{19, 19, 168}
+\definecolor{constructor}{RGB}{196, 6, 11}
+\definecolor{keyword}{RGB}{4, 58, 252}
+\definecolor{special1}{RGB}{159,138,0}
+\definecolor{string}{RGB}{3, 106, 7}
+\definecolor{char}  {RGB}{3, 106, 7}
+
+
+%include lhs2TeX.fmt
+%include paper.fmt
+%subst char a    	= "\color{char}\text{\tt ''" a "''}"
+%subst string a  	= "\color{string}\text{\tt \char34 " a "\char34}"
+%subst numeral a =  "\color{numeral}{ " a " }"
+
+\newcommand{\hKeyword}[1]{\textbf{\color{steelblue}{#1}}}
+\newcommand{\hChar}[1]{\textbf{#1}}
+\newcommand{\hString}[1]{\textbf{#1}}
+\newcommand{\hNumeral}[1]{\textbf{#1}}
+
+\def\mytitle{Dead-code elimination for a functional language}
+
+\def\myauthor{Alessandro Vermeulen, Johan Jeuring\\ Utrecht University, 2011.}
+
+\title{\mytitle}
+\author{\myauthor}
+
+
+\frenchspacing
+\definecolor{steelblue}{RGB}{3,46,135}
+\hypersetup{pdftitle=\mytitle,pdfauthor=\myauthor,linkcolor=steelblue}
+\hypersetup{colorlinks=true}
+
+\begin{document}
+  
+\maketitle
+
+\section{Introduction}
+
+  \subsection{Research question}
+  
+\section{Previous work}
+\cite{Hinze00memofunctions}
+
+\section{Our contribution}
+
+\section{Future work}
+
+\section{Conclusion}
+
+\bibliographystyle{plainnat}
+\bibliography{references}
+
+
+\end{document}