Idris 2

Idris 2 is still a work in progress, but documentation continues to grow, and available from https://idris2.readthedocs.org. This includes:

• A crash course in Idris 2
• A list of Changes since Idris 1
• Changes required to the code in Type Driven Development with Idris.

The community-maintained Idris2 tutorial (originally written by Stefan Höck for undergraduate university teaching) is an excellent entry-point.

There is API documentation for the following packages:

• prelude
• base
• contrib
• linear
• network
• test
• papers

Some further resources are linked on the Idris2 GitHub Wiki.

You can also find our Community Standards here.

Idris 1 (DEPRECATED)

Idris 1 is deprecated. If you are still using Idris 1, we recommend switching to Idris 2. A list of differences is available in the documentation.

As such, documentation is no longer available through the website. If you still require access to the Idris 1 documentation, the following Internet Archive (aka. Wayback Machine) snapshots are available:

• Idris 1 documentation
• API documentation

Additionally, the old Idris 1 Wiki contains a lot of community supplied information.