/dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

Primary LanguageHaskell

No issues in this repository yet.