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
Most of the data types provided by the intervalsets library have been added to spire-extras already, but IntervalMap was not. I propose adding this data type as well, since it is a well-designed, general-purpose data structure that may be of interest to the public.
The text was updated successfully, but these errors were encountered:
Most of the data types provided by the intervalsets library have been added to spire-extras already, but IntervalMap was not. I propose adding this data type as well, since it is a well-designed, general-purpose data structure that may be of interest to the public.
The text was updated successfully, but these errors were encountered: