Skip to content

Fix deduction of dual categories + Refactoring#85

Merged
ScriptRaccoon merged 6 commits intomainfrom
fix-deduction-of-duals
Apr 15, 2026
Merged

Fix deduction of dual categories + Refactoring#85
ScriptRaccoon merged 6 commits intomainfrom
fix-deduction-of-duals

Conversation

@ScriptRaccoon
Copy link
Copy Markdown
Owner

@ScriptRaccoon ScriptRaccoon commented Apr 15, 2026

This PR fixes #64

It also refactors the deduction scripts.

@ScriptRaccoon ScriptRaccoon force-pushed the fix-deduction-of-duals branch from b4cac9f to ebf6c38 Compare April 15, 2026 09:51
@ScriptRaccoon ScriptRaccoon force-pushed the fix-deduction-of-duals branch from 574239b to 7aea345 Compare April 15, 2026 10:14
@ScriptRaccoon ScriptRaccoon marked this pull request as ready for review April 15, 2026 10:14
@ScriptRaccoon ScriptRaccoon changed the title Fix deduction of dual categories Fix deduction of dual categories + Refactoring Apr 15, 2026
@ScriptRaccoon ScriptRaccoon merged commit 2d69b68 into main Apr 15, 2026
1 check passed
@ScriptRaccoon ScriptRaccoon deleted the fix-deduction-of-duals branch April 15, 2026 11:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

¬lextensive not deduced from ¬extensive for Set^op

1 participant