@@ -1,20 +1,34 @@
1−\documentclass{article}
1+\documentclass[british, final]{article}
3+\usepackage[l2tabu,orthodox]{nag}
6+\usepackage[iso]{isodate}
7+\usepackage[utf8]{inputenc}
8+\usepackage[T1]{fontenc}
9+\usepackage[protrusion=true, expansion=true]{microtype}
10+\usepackage[strict=true]{csquotes}
14+\usepackage[scaled=0.95]{helvet}
3\usepackage{fullpage}
17\usepackage{fullpage}
6\usepackage{fancyvrb}
18\usepackage{fancyvrb}
7\usepackage{hyperref}
19\usepackage{hyperref}
20+\usepackage[missing=0.9.10]{gitinfo}
9\input{conf.ltx}
22\input{conf.ltx}
10\input{macros.ltx}
23\input{macros.ltx}
11\input{library.ltx}
24\input{library.ltx}
13\newcommand{\Idris}{\textsc{Idris}}
26\newcommand{\Idris}{\textsc{Idris}}
14−\newcommand{\version}{0.9.10}
27+\newcommand{\version}{\gitVtagn}
28+\newcommand{\email}[1]{\texttt{\href{mailto:#1}{#1}}}
16\title{Programming in \Idris{}: a tutorial}
30\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}}
19\begin{document}
33\begin{document}
@@ -22,18 +36,18 @@
23\tableofcontents
37\tableofcontents
25−\input{intro}
39+\input{./content/intro}
26−\input{starting}
40+\input{./content/starting}
27−\input{typesfuns}
41+\input{./content/typesfuns}
28−\input{classes}
42+\input{./content/classes}
29−\input{modules}
43+\input{./content/modules}
30−\input{interp}
44+\input{./content/interp}
31−\input{views}
45+\input{./content/views}
32−\input{theorems}
46+\input{./content/theorems}
33−\input{provisional}
47+\input{./content/provisional}
34−\input{syntax}
48+\input{./content/syntax}
35−\input{miscellany}
49+\input{./content/miscellany}
36−\input{conclusions}
50+\input{./content/conclusions}
38\bibliographystyle{abbrv}
52\bibliographystyle{abbrv}
39\bibliography{literature.bib}
53\bibliography{literature.bib}