Тестування на треку Idris

Дізнайтеся, як тестувати свої вправи з Idris на Exercism

Запуск тестів

Щоб запустити тести, виконайте таку команду в каталозі вправи:

pack test hello-world