search

obsidiansystems / dependent-sum

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

Bump some bound #55

Closed maralorn closed 3 years ago

maralorn commented 3 years ago

Really specific issue title, right? ;-) There was a new some release. Changelog looks innocent and it compiles.