[m-rev.] for post-commit review: announce fatter_sparse_bitset.m

[Zoltan Somogyi]

2023-02-03 20:46 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
>> +* This new module defines a more compact version of the data structure
>> +  defined by the `fat_sparse_bitset`module, and implements the set of
>> +  operations on this data structure.
> 
> Missing space after the second backtick.

Thanks; fixed.

> Do we need both modules?

Long term, probably not. But we need experience comparing the two
to help us decide which to keep.

Zoltan.