Risorse utili su Idris

Una raccolta di risorse utili per aiutarti a padroneggiare Idris

La pagina ufficiale e la documentazione
Type-Driven Development with Idris, con gli aggiornamenti
Il repository Github che contiene il compilatore e le librerie.
La wiki
La mailing list
Il canale IRC #idris su freenode