Teste sur le parcours Idris

Apprends à tester tes exercices Idris sur Exercism

Exécute les tests

Exécute la commande suivante dans le répertoire de l'exercice pour lancer les tests :

pack test hello-world