Skip to content

refactor(Phonology/Autosegmental): golf concat proofs with grind#751

Merged
github-actions[bot] merged 2 commits into
mainfrom
autoseg-graph-golf
Jun 24, 2026
Merged

refactor(Phonology/Autosegmental): golf concat proofs with grind#751
github-actions[bot] merged 2 commits into
mainfrom
autoseg-graph-golf

Merge branch 'main' into autoseg-graph-golf

4c9799d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar