Documentation

Idris 1

Documentation for Idris 1 is available from https://docs.idris-lang.org.

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 https://idris2.readthedocs.org. This includes:

You can also find our Community Standards here.