Documentation for Idris is available from This currently includes:

Documentation is also available in EPUB format.

There is also a book, titled Type Driven Development in Idris and published by Manning.

There is API documentation for the following packages provided as part of the Idris distribution:

There is also brief documentation on the packaging system for Idris libraries, and the effects package.

The Idris wiki contains lots of community supplied information, in particular a manual is developing.

There is also an FAQ. If you have a question which isn’t answered in the FAQ, please don’t hesitate to ask.

Note that at the moment, development is moving quickly, and as a result there are several features for which documentation is somewhat spotty. The mailing list and the Freenode channel are active and helpful, however, if you get stuck, and once you learn something that you did not find in the documentation, do consider contributing to the tutorial or to the wiki manual!

Other Publications

Other publications associated with Idris are as follows: