search

exercism / idris

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

Add nucleotide-count exercise #172

Open keiravillekode opened 3 months ago

keiravillekode commented 3 months ago

We should define a datatype for the 4 nucleotides. Students should be asked to define Show, Eq and Ord.

This exercise will use Data.SortedMap