git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/tutorial/idris-tutorial.tex
41 lines 674 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}}
14\newcommand{\version}{0.9.9}
16\title{Programming in \Idris{}: a tutorial}
17\author{Edwin Brady \\ \url{eb@cs.st-andrews.ac.uk}}
19\begin{document}
21\maketitle
23\tableofcontents
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}
38\bibliographystyle{abbrv}
39\bibliography{literature.bib}
41\end{document}