Skip to content

Replace explicit use of Inj instances by inj

Paolo G. Giarrussorequested 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