GitHub repository: obsidiansystems/dependent-sum
Primary language: Haskell
Description: Dependent sums and supporting typeclasses for comparing and displaying them