Idris 2 Documentation

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:

• prelude
• base
• contrib
• network
• test