Ressources utiles sur Idris

Une sélection de ressources utiles pour t'aider à maîtriser Idris

La page d'accueil officielle et la documentation
Type-Driven Development with Idris, avec les mises à jour
Le dépôt GitHub qui contient le compilateur et les bibliothèques.
Le wiki
La liste de diffusion
Le canal IRC #idris sur freenode