search

ekmett / ersatz

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

document BitN, Bits (fix #48) #70

Closed jwaldmann closed 2 years ago

jwaldmann commented 2 years ago

my proposal to close #48 and #19

The original comment mentioned "little-endian" for Bits, but that's false? I replaced with "LSB first".