Корисні ресурси для Idris

Добірка корисних ресурсів, які допоможуть опанувати Idris

Офіційна домашня сторінка та документація
Type-Driven Development with Idris, з оновленнями
Репозиторій на GitHub із компілятором і бібліотеками.
Вікі
Список розсилки
IRC-канал #idris на freenode