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 - #14

Merged
inducer merged 1 commit into
mainfrom
kind-inf-sum-not-special
May 28, 2021
Merged

Kind inference: do not treat sums specially#14
inducer merged 1 commit into
mainfrom
kind-inf-sum-not-special

Kind inference: do not treat sums specially

92ed975
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs