exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

Add default introductory code example #23

Closed kytrinyx closed 6 years ago

kytrinyx commented 7 years ago

Instead of having logic for a fallback in the backend, we're choosing a default for the snippet file.

For tracks that have core exercises, we pick the first core exercise. For tracks without these, we pick the first exercise listed in the config.

Note that we're aiming for 10 lines and a max-width of 40 columns. This solution has 12 lines and a max-width of 43, so we may want to adjust it.

See https://github.com/exercism/meta/issues/89

kytrinyx commented 6 years ago

I'm going to go ahead and merge this. We can always improve it later.