exercism / idris

Exercism exercises in Idris.
https://exercism.org/tracks/idris
MIT License
32 stars 18 forks source link

Remove redundant key/value pairs from config.json #30

Closed kytrinyx closed 7 years ago

kytrinyx commented 7 years ago

The slug is not used anywhere. We initialize a track based on knowing the Track ID. Since the repository is always named after the track ID, this field, too, is redundant, as it can be inferred.

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