• Pietro Abate's avatar
    Add squaresubtype relation · cee524ae
    Pietro Abate authored
    - Add delta as optional parameter to Tallying.talling.
    - Add (++) product of two lazy types substitutions.
    - Add (@@) application of a lazy type substition to a type.
    - Add ($$) application of a explicit type substution to a type.
    cee524ae
_tags 860 Bytes