Documentation du parcours Idris

Tout ce que tu dois savoir pour utiliser Idris sur Exercism.

Explore notre documentation sur Idris et découvre tout ce qu'il te faut pour tirer le meilleur parti de ton expérience avec Idris sur Exercism, de l'installation de Idris à l'exécution des tests, en passant par l'apprentissage du langage et des ressources utiles.