search

ekmett / ersatz

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

Use GHC 8.0 as the minimum #59

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

In the spirit of ekmett/lens#977.