Recursos útiles de Idris

Una colección de recursos útiles para ayudarte a dominar Idris

La página oficial y la documentación
Type-Driven Development with Idris, con actualizaciones
El repositorio de Github que contiene el compilador y las bibliotecas.
La wiki
La lista de correo
El canal de IRC #idris en freenode