Idris documentation tracking project

This repo tracks the efforts for documenting idris in a more comprehensive way.

Goals

• Make Idris more approchable for beginners
• Provide multiple ways to convey the same information depending on the audience
• identify and track holes in the documentation that's available

How to Contribute

The issue board is used to track what needs to be doing. There are two types of issues:

• New documentation requests. For those explain why the new documentation is required and why the existing material falls short.
• Documentations "bug". Problems with existing documentation that need to be adressed with a way to address them.

Issues in this repo are most often resolved by a PR on another project. Remember to link to the issue here so we can track the progress of each issue.