Sha256: 35f9c7d47eb737b38ac443aa58ed32a3757d4bb328477ee264f6db353bcf3dac
Contents?: true
Size: 1.47 KB
Versions: 174
Compression:
Stored size: 1.47 KB
Contents
# Hello World The classical introductory exercise. Just say "Hello, World!". ["Hello, World!"](http://en.wikipedia.org/wiki/%22Hello,_world!%22_program) 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. ## Getting Started For installation and learning resources, refer to the [exercism help page](http://exercism.io/languages/coq). ## Checking the solution (testing everything) To see if your solution works you just need to compile every file. ```bash coqc *.v ``` There is no additional testing step needed as we can offload all testing to the type checker! ## Feedback, Issues, Pull Requests The [exercism/coq](https://github.com/exercism/coq) repository on GitHub is the home for all of the Coq exercises. If you have feedback about an exercise, or want to help implementing a new one, head over there and create an issue. We'll do our best to help you! ## Source This is an exercise to introduce users to using Exercism [http://en.wikipedia.org/wiki/%22Hello,_world!%22_program](http://en.wikipedia.org/wiki/%22Hello,_world!%22_program) ## Submitting Incomplete Solutions It's possible to submit an incomplete solution so you can see how others have completed the exercise.
Version data entries
174 entries across 174 versions & 1 rubygems