ekmett / ersatz

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

Improve Ersatz.Relation #78

Closed aswiridoff closed 11 months ago

aswiridoff commented 1 year ago

resolve #71 (?)

RyanGlScott commented 1 year ago

Thanks for the patch, @aswiridoff! Some of the hlint suggestions (in the 9.0.2 CI job) are rather silly, so I've disabled a subset of them. Can you resolve the remaining hlint suggestsions?

Let me know when you'd like a full review.

aswiridoff commented 11 months ago

@RyanGlScott Thanks! I've resolved the remaining suggestions. I think it should be ready to merge now.

aswiridoff commented 11 months ago

Thanks a lot for your feedback, @RyanGlScott! :)