search

exercism / idris

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

Remove unused exercise README insert #40

Closed kytrinyx closed 6 years ago

kytrinyx commented 6 years ago

This deletes the empty exercise README insert, and updates the exercise README template to remove the reference to the insert.

If the track later requires some text to be repeated in all the exercise READMEs it can be added directly to the config/exercise_readme.go.tmpl file.

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