## Useful resources

 * The [official homepage](http://www.idris-lang.org/) and [documentation](http://docs.idris-lang.org/en/latest/index.html)
 * The [Github repository](https://github.com/idris-lang/Idris-dev)
   containing compiler and libraries. 
 * The [wiki](https://github.com/idris-lang/Idris-dev/wiki)
 * The [mailing list](https://groups.google.com/forum/#!forum/idris-lang)
 * The IRC channel  `#idris` on freenode