• eir@cis.upenn.edu's avatar
    Fix #9097. · 051d694f
    eir@cis.upenn.edu authored
    `Any` is now an abstract (that is, no equations) closed type family.
    051d694f
TysPrim.lhs 28.7 KB