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