Add more typeclasses (!246) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge msammler/more_tc into master 4 years ago

All threads resolved!

This adds the typeclasses from !244 (closed). See also the discussion here: https://mattermost.mpi-sws.org/iris/pl/37b8m6pmdfr3pfwwjssre3oqjc

Activity

Michael Sammler added 1 commit 4 years ago
added 1 commit

6b5d0d88 - Add more typeclasses

Compare with previous version
Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Michael Sammler
Last reply by Michael Sammler 4 years ago

Michael Sammler added 1 commit 4 years ago

added 1 commit

91d14e3e - Add more typeclasses

Compare with previous version

Michael Sammler resolved all threads 4 years ago

resolved all threads

Ralf Jung @jung · 4 years ago

Owner

LGTM.

Robbert Krebbers merged 4 years ago

merged

Robbert Krebbers mentioned in commit 4 years ago

mentioned in commit e8ec0e0e

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Thanks!

Please register or sign in to reply