Upskill in 65+ languages
The ultimate way to learn to code
Learn the basics of front-end development
Explore your Exercism journey
Offers & discounts from our partners
Streaming, walkthroughs & more
Short language overviews
Get inspired by people's stories
Chat & hang with the community
Dig deeper into topics
How you can help Exercism
Support others as they learn
Everything you need to help
Meet the people behind Exercism
Help support our mission
Learn about our organisation
Explore what we've achieved
Our way of saying thank you
Learn how to test your Idris exercises on Exercism
Execute the following command in your exercise directory to run the tests:
pack test hello-world
