This repository was archived by the owner on Jun 14, 2025. It is now read-only.

Kind inference: do not treat sums specially - #17

Open

inducer wants to merge 1 commit into

mainfrom

revert-15-revert-14-kind-inf-sum-not-special

Workflow runs completed with no jobs