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