Recursos úteis de Idris

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

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