Skip to content

Replace explicit use of Inj instances by inj

Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:inj_typeclass into master

This was inconsistent and not explained before. And I noticed when talking with Herbelin about view inference.

Merge request reports