\documentclass[british, final]{article}

\usepackage[l2tabu,orthodox]{nag}
\usepackage{fixltx2e}
\usepackage{babel}
\usepackage[iso]{isodate}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[protrusion=true, expansion=true]{microtype}
\usepackage[strict=true]{csquotes}
\usepackage{xspace}

\usepackage{mathpazo}
\usepackage[scaled=0.95]{helvet}
\usepackage{courier}

\usepackage{fullpage}
\usepackage{hyperref}
\usepackage[missing=0.9.10]{gitinfo}

\usepackage{fpmacros}
\usepackage[numbers]{idrislang}

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

\newcommand{\version}{\gitVtagn}

\title{Programming in \Idris{}: a tutorial}
\author{The \Idris{} Community}
\date{\origdate\today}

\begin{document}

\maketitle

\tableofcontents
\newpage

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

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

\end{document}