search

exercism / idris

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

Add matching-brackets #159

Closed keiravillekode closed 3 months ago

keiravillekode commented 3 months ago

My plan is to add another 10 exercises this week, and regenerate

isberg commented 3 months ago

My plan is to add another 10 exercises this week, and regenerate

  • accumulate
  • hamming
  • rna-transcription

I will review, but also plan to test using both cli and web interface.