git.iko.soy/Idris-dev
on 5bfda79 help sign in
Idris-dev/tutorial/idris-tutorial.tex
40 lines 645 B history raw
1\documentclass{article}
3\usepackage{fullpage}
4\usepackage{palatino}
5\usepackage{url}
6\usepackage{fancyvrb}
7\usepackage{hyperref}
9\input{conf.ltx}
10\input{macros.ltx}
11\input{library.ltx}
13\newcommand{\Idris}{\textsc{Idris}}
15\title{Programming in \Idris{}: a tutorial}
16\author{Edwin Brady \\ \url{eb@cs.st-andrews.ac.uk}}
18\begin{document}
20\maketitle
22\tableofcontents
24\input{intro}
25\input{starting}
26\input{typesfuns}
27\input{classes}
28\input{modules}
29\input{interp}
30\input{views}
31\input{theorems}
32\input{provisional}
33\input{syntax}
34\input{miscellany}
35\input{conclusions}
37\bibliographystyle{abbrv}
38\bibliography{literature.bib}
40\end{document}