Skip to content

Redundancy check for functor property assignments#207

Merged
ScriptRaccoon merged 3 commits into
mainfrom
reduncancy-check-functors
May 26, 2026
Merged

Redundancy check for functor property assignments#207
ScriptRaccoon merged 3 commits into
mainfrom
reduncancy-check-functors

Conversation

@ScriptRaccoon
Copy link
Copy Markdown
Owner

@ScriptRaccoon ScriptRaccoon commented May 26, 2026

The redundancy script for categories (#155) is extended to functors.

Afterwards, several redundant assignments have been identified and removed.

@ScriptRaccoon ScriptRaccoon force-pushed the reduncancy-check-functors branch from 9de4ea7 to 3326bb3 Compare May 26, 2026 09:33
@ScriptRaccoon ScriptRaccoon force-pushed the reduncancy-check-functors branch from 3326bb3 to 4474727 Compare May 26, 2026 09:43
@ScriptRaccoon ScriptRaccoon changed the title Reduncancy script for functors Reduncancy check for functor property assignments May 26, 2026
@ScriptRaccoon ScriptRaccoon changed the title Reduncancy check for functor property assignments Redundancy check for functor property assignments May 26, 2026
@ScriptRaccoon ScriptRaccoon merged commit e25ee26 into main May 26, 2026
1 check passed
@ScriptRaccoon ScriptRaccoon deleted the reduncancy-check-functors branch May 26, 2026 09:59
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.

1 participant