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