-
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