Skip to content
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
base: main
Choose a base branch
from

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

4a31a17
Select commit
Loading
Failed to load commit list.
Open

Kind inference: do not treat sums specially #17

Revert "Revert "Kind inference: do not treat sums specially""
4a31a17
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs