Revert "Kind inference: do not treat sums specially" - #15

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

inducer merged 1 commit into

maininducer/dagrt:mainfrom

revert-14-kind-inf-sum-not-specialinducer/dagrt:revert-14-kind-inf-sum-not-specialCopy head branch name to clipboard