Gyakorolj 58 feladatot a(z) Idris kurzusban Tanuld és gyakorold a(z) Idris nyelvet 58 feladat megoldásával, amelyek különböző fogalmakat és ötleteket mutatnak be. Csatlakozz a(z) Idris kurzushoz Fedezd fel a(z) Idris feladatokat az Exercism-ön Ahogy haladsz előre, egyre több feladatot oldasz fel. Remek gyakorlás és igazi szórakozás!