Skip to content

Don't ignore universal quantification in function types#1008

Merged
nrc merged 1 commit intomasterfrom
hrtb
May 27, 2016
Merged

Don't ignore universal quantification in function types#1008
nrc merged 1 commit intomasterfrom
hrtb

Commits

Commits on May 27, 2016