Skip to content

Store IndexName tags as a sorted symbol dictionary#195

Merged
mtfishman merged 4 commits into
mainfrom
mf/sorted-dict-tags
Jun 29, 2026
Merged

Store IndexName tags as a sorted symbol dictionary#195
mtfishman merged 4 commits into
mainfrom
mf/sorted-dict-tags

Use findfirst for SortedDict lookups and credit prior art

06454a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar