Remove type scope from forall notation (!163) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Tej Chajed requested to merge tchajed/stdpp:fix-forall-scope into master 4 years ago

Fixes #67 (closed).

Activity

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

This makes sense! Merging and thanks!
Robbert Krebbers mentioned in commit 3196e5ca 4 years ago

mentioned in commit 3196e5ca
Robbert Krebbers merged 4 years ago

merged
Robbert Krebbers mentioned in merge request iris!432 (merged) 4 years ago

mentioned in merge request iris!432 (merged)

Please register or sign in to reply