Practice 58 exercises in Idris Learn and practice Idris by completing 58 exercises that explore different concepts and ideas. Join The Idris Track Explore the Idris exercises on Exercism Unlock more exercises as you progress. They’re great practice and fun to do!