search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
62 stars 15 forks source link

Add Equatable instances for base types #65

Closed glguy closed 1 year ago

glguy commented 1 year ago

These instances make it easier to use GHC.Generics to derive Equatable on types with concrete values.