Skip to content

refactor(Semantics/Composition): extensional operators via DependsOn - #5866

Merged
github-actions[bot] merged 2 commits into
mainfrom
audit/modalext-1027i
Oct 27, 2026
Merged

refactor(Semantics/Composition): extensional operators via DependsOn#5866
github-actions[bot] merged 2 commits into
mainfrom
audit/modalext-1027i

refactor(Semantics/Composition): move extensional operators from Modal

0139641
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar