Hasznos Idris-források

Hasznos források gyűjteménye, amelyek segítenek elsajátítani az Idrist

A hivatalos honlap és a dokumentáció
A Type-Driven Development with Idris című könyv, a hozzá tartozó frissítésekkel
A Github repository, amely a fordítót és a könyvtárakat tartalmazza.
A wiki
A levelezőlista
A freenode #idris IRC-csatornája