An OLD Tutorial for Idris.

This tutorial has become deprecated in favour of a Sphinx based, readthedocs integrated, solution hosted on the main idris repository. You can find this repository online:

http://www.github.com/idris-lang/Idris-dev

This repository is left here for archival purposes.