Idris 2 is still a work in progress, but documentation is growing, 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.
There is API documentation for the following packages:
You can also find our Community Standards here.