Skip to content

subtype: distribute a ∀ var over the arms of its union upper bound - #1

Open
Keno wants to merge 2788 commits into
masterfrom
kf/subtype-forall-ub-split
Open

subtype: distribute a ∀ var over the arms of its union upper bound#1
Keno wants to merge 2788 commits into
masterfrom
kf/subtype-forall-ub-split

subtype: distribute a ∀ var over the arms of its union upper bound

3bb0611
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 10 warnings

The logs for this run have expired and are no longer available.