exercism / idris

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

Use locally cached problem spec data #183

Closed keiravillekode closed 1 month ago

keiravillekode commented 1 month ago

From @IsaacG forum suggestion http://forum.exercism.org/t/adding-the-roc-language-to-exercism/12360/16 http://forum.exercism.org/t/scala-3-support/12117/5