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 intomainfrom

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

Commits on May 28, 2021

Revert "Revert "Kind inference: do not treat sums specially""
inducer
authored