Idris 1

Documentation for Idris 1 is available from

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

The Idris Wiki contains a lot of community supplied information.

Idris 2

Idris 2 is still a work in progress, but documentation is growing, and available from This includes:

You can also find our Community Standards here.