👋Learning to code? Check out ourCoding Fundamentalscourse for beginners!
Everything you need to know about using Idris on Exercism.
Explore our Idris docs and discover everything you need to know to make the most of your Idris experience on Exercism, from installing Idris to running the tests, learning the language, and useful resources.