Hello World in Idris
The classical introductory exercise. Just say "Hello, World!"
exercism fetch idris hello-world
The classical introductory exercise. Just say "Hello, World!".
"Hello, World!" is the traditional first program for beginning programming in a new language or environment.
The objectives are simple:
- Write a function that returns the string "Hello, World!".
- Run the test suite and make sure that it succeeds.
- Submit your solution and check it at the website.
If everything goes well, you will be ready to fetch your first real exercise.
This is an exercise to introduce users to using Exercism http://en.wikipedia.org/wiki/%22Hello,world!%22program
Submitting Incomplete Solutions
It's possible to submit an incomplete solution so you can see how others have completed the exercise.