Skip to content

semifp: really ignore whitespace in ParseRelations#1189

Merged
james-d-mitchell merged 1 commit into
semigroups:mainfrom
james-d-mitchell:fix-issue-1187
May 19, 2026
Merged

semifp: really ignore whitespace in ParseRelations#1189
james-d-mitchell merged 1 commit into
semigroups:mainfrom
james-d-mitchell:fix-issue-1187

Commits

Commits on May 17, 2026