Useful Idris resources

A collection of useful resources to help you master Idris

The official homepage and documentation
Type-Driven Development with Idris, with updates
The Github repository containing compiler and libraries.
The wiki
The mailing list
The IRC channel #idris on freenode