Dependent sums and supporting typeclasses for comparing and displaying them
Why do you think that https://github.com/layer-3-communications/relevant-time 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/layer-3-communications/relevant-time is a good alternative to dependent-sum