Документація Idris

Усе, що потрібно знати про користування Idris на Exercism.

Гортаючи нашу документацію Idris, можна дізнатися все, що потрібно, щоб отримати максимум від Idris на Exercism: від встановлення Idris до запуску тестів, вивчення мови та корисних ресурсів.