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

Commits