Disable cross-effect subtyping of arrows#3665
Draft
gebner wants to merge 13 commits intomasterfrom gebner_effect_subtyping
+245-124
Commits
Commits on Jan 16, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
