Update the README to reflect current status

exercism / idris

Exercism exercises in Idris.

https://exercism.org/tracks/idris

MIT License

32 stars 18 forks source link

Closed kytrinyx closed 2 years ago

kytrinyx commented 2 years ago

This track has no maintainers, 5 exercises, and no activity for a very long time. Let's archive the repository.