Dependent sums and supporting typeclasses for comparing and displaying them
Why do you think that https://github.com/phadej/months is a good alternative to dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Why do you think that https://github.com/phadej/months is a good alternative to dependent-sum