The main documentation is the tutorial, which describes Idris version 0.9.1.
There is also an FAQ. If you have a question which isn’t answered in the FAQ, please don’t hesitate to ask.
