Fady Adal
Results
1
issues of
Fady Adal
This PR adds fold operations and container-style operations for `BitVec`, following patterns from `List` and `Array`. This includes fold operations (`foldr`, `foldl`, `foldrIdx`, `foldlIdx` with cons theorems), conversion operations (`ofFn`,...
toolchain-available
P-low