search

exercism / coq

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

[v3] Move Practice Exercise example files to .meta directory #62

Closed ErikSchierboom closed 3 years ago

ErikSchierboom commented 3 years ago

The example implementation files for Practice Exercises should be located in the .meta directory. Besides being consistent with Concept Exercises, it also has the added benefit that no extra configuration is needed to prevent the example file from being downloaded to the student (as files in the .meta directory are never downloaded).

See the spec.

This PR attempts to detect these example files and move them to the exercise's .meta directory.

Note that this change will likely break your CI, so feel free to either merge this and fix the build later, or push a fix to this PR.

Tracking

https://github.com/exercism/v3-launch/issues/18

angelikatyborska commented 3 years ago

Exercise configs have been added since and would need to get updated too