🤖 Sync org-wide files to upstream repo - Githubissues

exercism / idris

Exercism exercises in Idris.

https://exercism.org/tracks/idris

MIT License

32 stars 18 forks source link

🤖 Sync org-wide files to upstream repo #91

Closed exercism-bot closed 3 years ago

exercism-bot commented 3 years ago

More info: https://github.com/exercism/org-wide-files/commit/d631c04e3d0dddb6b6a6b9bb1590c948d9293e7e