Practica 58 ejercicios de Idris Aprende y practica Idris completando 58 ejercicios que exploran diferentes conceptos e ideas. Únete al track de Idris Explora los ejercicios de Idris en Exercism Desbloquea más ejercicios a medida que avanzas. ¡Son una gran forma de practicar y muy divertidos!