• Amin Timany's avatar
    Change typing rule for μ-types in Fμ,ref,par · e679dae9
    Amin Timany authored
    With this change, recursive types don't use the context for type variables.
    This allows us to assume that all types in typing context are universally
    quantified, i.e., they are all polymorphic types.
fundamental_unary.v 9.04 KB