Практикуйте 58 вправ із Idris Вивчайте Idris і практикуйтеся, виконуючи 58 вправ, які розкривають різні концепції та ідеї. Долучіться до треку Idris Дослідіть вправи з Idris на Exercism Відкривайте більше вправ у міру просування. Це чудова практика, і виконувати їх цікаво!