A tutorial on working with Idris. More information over Idris can be found online at: [http://www.idris-lang.org]
If you would like to contribute to the tutorial feel free to do so. However, please read the guidelines over contributing first. Issues can be found, and filed, in the issue tracker.
This tutorial is built using LaTeX, which can be obtain from the TeX User Group.
The Makefile can be used to build a PDF.