Replace explicit use of Inj instances by inj (!132) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:inj_typeclass into master 5 years ago

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

Activity

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Thanks. LGTM. Merging.
Robbert Krebbers merged 5 years ago

merged
Robbert Krebbers mentioned in commit 86cb321a 5 years ago

mentioned in commit 86cb321a
Paolo G. Giarrusso mentioned in merge request iris!408 (merged) 5 years ago

mentioned in merge request iris!408 (merged)

Please register or sign in to reply