search

exercism / idris

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

Add collatz-conjecture #151

Closed keiravillekode closed 3 months ago