search

ekmett / ersatz

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

renamed BitN to Bits in Factor.hs #15

Closed malie closed 8 years ago

malie commented 8 years ago

Hi Edward, have to look more into this nice project. You forgot to rename BitN in Factor.hs in March. Cheers, Markus

ekmett commented 8 years ago

Thanks!