Commit aaef830

committed

feat: bitvec <-> bytearray conversions + theory

1 parent e5ef2c2 commit aaef830Copy full SHA for aaef830

1 file changed

+269

-131

lines changed

src/Init/Data/BitVec
- Conversions.lean

1 file changed

+269

-131

lines changed

Comments

(0)