search

obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
54 stars 39 forks source link

update .cabal files #45

Closed int-e closed 4 years ago

int-e commented 4 years ago

This prepares dependent-sum and dependent-sum-template for a new hackage release. Feel free to adapt or make the changes yourself as needed.

@3noch @apollounicorn: mentioning you at request by @ryantrinkle