git.iko.soy/Idris-dev
on fcfbfaa help sign in
Idris-dev/tutorial/idris-tutorial.tex
56 lines 1.1 kB history raw
1\documentclass[british, final]{article}
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}
13\usepackage{mathpazo}
14\usepackage[scaled=0.95]{helvet}
15\usepackage{courier}
17\usepackage{fullpage}
18\usepackage{hyperref}
19\usepackage[missing=0.9.10]{gitinfo}
21\usepackage{fpmacros}
22\usepackage[numbers]{idrislang}
24\input{conf.ltx}
25\input{library.ltx}
27\newcommand{\version}{\gitVtagn}
29\title{Programming in \Idris{}: a tutorial}
30\author{The \Idris{} Community}
31\date{\origdate\today}
33\begin{document}
35\maketitle
37\tableofcontents
38\newpage
40\input{./content/intro}
41\input{./content/starting}
42\input{./content/typesfuns}
43\input{./content/classes}
44\input{./content/modules}
45\input{./content/interp}
46\input{./content/views}
47\input{./content/theorems}
48\input{./content/provisional}
49\input{./content/syntax}
50\input{./content/miscellany}
51\input{./content/conclusions}
53\bibliographystyle{abbrv}
54\bibliography{literature.bib}
56\end{document}