search

obsidiansystems / dependent-sum

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

Fix for ghc-9.10 #81

Closed expipiplus1 closed 2 months ago

expipiplus1 commented 2 months ago

Doesn't maintain backwards compatibility, so probably don't merge. Just opening it for visibility of anyone else needing this

expipiplus1 commented 2 months ago

oh, this is already fixed more neatly haha