opentheory-1.74: The Haskell base
OpenTheory.Number.Natural.Bits
Description
toNatural :: [Bool] -> NaturalSource
width :: Natural -> NaturalSource