🤖 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 #129

Closed exercism-bot closed 4 months ago

exercism-bot commented 6 months ago

ℹ More info: https://github.com/exercism/org-wide-files/commit/5ccdeb6ebe24182f48466a9e7cc27370cdcbcfe7 👁 Tracking issue: https://github.com/exercism/org-wide-files/issues/360

keiravillekode commented 4 months ago

Obsolete