obsidiansystems/dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

语言：Haskell · GitHub 星标：58 · Fork：43

在 GitHub 上查看原仓库