You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Dropped from v0.5 milestone —if we're going to read bits, we should probably support writing them (via ctor) too, that is too much work for the meagre benefit right now.
saxbophone
changed the title
Get Nat as sequence of bits
Get Nat as sequence of bits (and construct from bits)
Jun 11, 2022
We can use
std::bitset
to take a shortcut when converting to bits (make a bitset for each digit and read bits out of them in sequence).Related to #83, #114
The text was updated successfully, but these errors were encountered: