Documentazione di Idris

Tutto quello che c'è da sapere per usare Idris su Exercism.

Esplora la documentazione di Idris e scopri tutto quello che c'è da sapere per sfruttare al meglio la tua esperienza con Idris su Exercism: dall'installazione di Idris all'esecuzione dei test, all'apprendimento del linguaggio e alle risorse utili.