base.v: fix typo in comment about MonadSet, and extend (!332) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:monadset-comments into master 3 years ago

All threads resolved!

The comment hints at listset_nodup, which does not have a MonadSet instance.

Activity

Paolo G. Giarrusso mentioned in merge request !327 (merged) 3 years ago

mentioned in merge request !327 (merged)
Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 3 years ago

Resolved 3 years ago by Paolo G. Giarrusso
Last reply by Paolo G. Giarrusso 3 years ago

Paolo G. Giarrusso added 3 commits 3 years ago

added 3 commits

4e88c6e0 - base.v: fix typo in comment about MonadSet
5730471f - base.v: Extend comment on MonadSet
4a79cb6d - Revise further based on Robbert's suggestion

Compare with previous version

Paolo G. Giarrusso resolved all threads 3 years ago

resolved all threads

Paolo G. Giarrusso added 8 commits 3 years ago

added 8 commits

4a79cb6d...e9aae334 - 5 commits from branch iris:master
034fee75 - base.v: fix typo in comment about MonadSet
73571178 - base.v: Extend comment on MonadSet
23e8b3ac - Revise further based on Robbert's suggestion

Compare with previous version

Toggle commit list

Robbert Krebbers enabled an automatic merge when the pipeline for succeeds 3 years ago

enabled an automatic merge when the pipeline for 23e8b3ac succeeds

Robbert Krebbers @robbertkrebbers 3 years ago

Owner

Thanks. Merging.

Robbert Krebbers mentioned in commit 3 years ago

mentioned in commit 0499e9bc

Robbert Krebbers merged 3 years ago

merged

Please register or sign in to reply