Recursos úteis sobre o Idris

Uma coleção de recursos úteis para te ajudar a dominar o Idris

A página inicial oficial e a documentação
Type-Driven Development with Idris, com atualizações
O repositório do GitHub que contém o compilador e as bibliotecas.
O wiki
A lista de discussão
O canal de IRC #idris no freenode