Nützliche Idris-Ressourcen

Eine Sammlung nützlicher Ressourcen, die dir helfen, Idris zu meistern

Die offizielle Homepage und die Dokumentation
Type-Driven Development with Idris, mit Aktualisierungen
Das Github-Repository mit Compiler und Bibliotheken.
Das Wiki
Die Mailingliste
Der IRC-Kanal #idris auf freenode