Χρήσιμοι πόροι για την Idris

Μια συλλογή χρήσιμων πόρων που θα σε βοηθήσουν να κατακτήσεις την Idris

Η επίσημη αρχική σελίδα και η τεκμηρίωση
Type-Driven Development with Idris, μαζί με ενημερώσεις
Το αποθετήριο Github που περιέχει μεταγλωττιστή και βιβλιοθήκες.
Το wiki
Η λίστα αλληλογραφίας
Το κανάλι IRC #idris στο freenode