Skip to content

Make contraction label derivation type-stable#192

Merged
mtfishman merged 2 commits into
mainfrom
mf/typestable-biperms
Jun 30, 2026
Merged

Make contraction label derivation type-stable#192
mtfishman merged 2 commits into
mainfrom
mf/typestable-biperms

Rename findpos helper to checked_findfirst

94a551d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar