Skip to content

algebra unfork: remove FreeMonoid variant-drop shadow (single authority; §9 narrows scope) - #6341

Merged
briansrls merged 7 commits into
mainfrom
session/calm-lark-461
Jul 7, 2026
Merged

algebra unfork: remove FreeMonoid variant-drop shadow (single authority; §9 narrows scope)#6341
briansrls merged 7 commits into
mainfrom
session/calm-lark-461

WIP: qualified name cleanujp

2e4a2a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar