\documentclass{article}

\usepackage{fullpage}
\usepackage{palatino}
\usepackage{url}
\usepackage{fancyvrb}
\usepackage{hyperref}

\input{conf.ltx}
\input{macros.ltx}
\input{library.ltx}

\newcommand{\Idris}{\textsc{Idris}}
\newcommand{\version}{0.9.9}

\title{Programming in \Idris{}: a tutorial}
\author{Edwin Brady \\ \url{eb@cs.st-andrews.ac.uk}}

\begin{document}

\maketitle

\tableofcontents

\input{intro}
\input{starting}
\input{typesfuns}
\input{classes}
\input{modules}
\input{interp}
\input{views}
\input{theorems}
\input{provisional}
\input{syntax}
\input{miscellany}
\input{conclusions}

\bibliographystyle{abbrv}
\bibliography{literature.bib}

\end{document}