@@ -1,20 +1,34 @@
1−\documentclass{article}
1+\documentclass[british, final]{article}
2+
3+\usepackage[l2tabu,orthodox]{nag}
4+\usepackage{fixltx2e}
5+\usepackage{babel}
6+\usepackage[iso]{isodate}
7+\usepackage[utf8]{inputenc}
8+\usepackage[T1]{fontenc}
9+\usepackage[protrusion=true, expansion=true]{microtype}
10+\usepackage[strict=true]{csquotes}
11+\usepackage{xspace}
12+
13+\usepackage{mathpazo}
14+\usepackage[scaled=0.95]{helvet}
15+\usepackage{courier}
216
317\usepackage{fullpage}
4−\usepackage{palatino}
5−\usepackage{url}
618\usepackage{fancyvrb}
719\usepackage{hyperref}
20+\usepackage[missing=0.9.10]{gitinfo}
821
922\input{conf.ltx}
1023\input{macros.ltx}
1124\input{library.ltx}
1225
1326\newcommand{\Idris}{\textsc{Idris}}
14−\newcommand{\version}{0.9.10}
27+\newcommand{\version}{\gitVtagn}
28+\newcommand{\email}[1]{\texttt{\href{mailto:#1}{#1}}}
1529
1630\title{Programming in \Idris{}: a tutorial}
17−\author{Edwin Brady \\ \url{eb@cs.st-andrews.ac.uk}}
31+\author{Edwin Brady \\ \email{eb@cs.st-andrews.ac.uk}}
1832
1933\begin{document}
2034
@@ -22,18 +36,18 @@
2236
2337\tableofcontents
2438
25−\input{intro}
26−\input{starting}
27−\input{typesfuns}
28−\input{classes}
29−\input{modules}
30−\input{interp}
31−\input{views}
32−\input{theorems}
33−\input{provisional}
34−\input{syntax}
35−\input{miscellany}
36−\input{conclusions}
39+\input{./content/intro}
40+\input{./content/starting}
41+\input{./content/typesfuns}
42+\input{./content/classes}
43+\input{./content/modules}
44+\input{./content/interp}
45+\input{./content/views}
46+\input{./content/theorems}
47+\input{./content/provisional}
48+\input{./content/syntax}
49+\input{./content/miscellany}
50+\input{./content/conclusions}
3751
3852\bibliographystyle{abbrv}
3953\bibliography{literature.bib}