Cómo probar en la ruta de Idris

Aprende a probar tus ejercicios de Idris en Exercism


Cómo ejecutar los tests

Ejecuta el siguiente comando en el directorio de tu ejercicio para ejecutar los tests:

pack test hello-world