search

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 #127

Closed exercism-bot closed 8 months ago

exercism-bot commented 8 months ago

ℹ More info: https://github.com/exercism/org-wide-files/commit/0c0972d1df4cd18d98c7df316348315b06ef49b4 👁 Tracking issue: https://github.com/exercism/org-wide-files/issues/347