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

Snippets Groups Projects

"heap_lang/git-rts@gitlab.mpi-sws.org:tchajed/iris.git" did not exist on "ab1f6c67f90fba5eb01d2e5a8f9c3bafce9c5ff5"

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