Skip to content

fix: Duplicate clause canonicalization#16

Merged
ecoricemon merged 1 commit into
mainfrom
fix-canonical
Jun 25, 2026
Merged

fix: Duplicate clause canonicalization#16
ecoricemon merged 1 commit into
mainfrom
fix-canonical

Conversation

@ecoricemon

Copy link
Copy Markdown
Owner

Related issue

Closes #15

@codecov

codecov Bot commented Jun 25, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@ecoricemon ecoricemon merged commit 4f16616 into main Jun 25, 2026
17 checks passed
@ecoricemon ecoricemon deleted the fix-canonical branch June 25, 2026 03:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incorrect behavior on symmetric rules

1 participant