Skip to content

semifp: really ignore whitespace in ParseRelations#1189

Open
james-d-mitchell wants to merge 1 commit into
semigroups:mainfrom
james-d-mitchell:fix-issue-1187
Open

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

Conversation

@james-d-mitchell
Copy link
Copy Markdown
Collaborator

The documentation already promises we will ignore the whitespace, this PR just makes that really the case.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant