Skip to content

Add more typeclasses

Michael Sammler requested to merge msammler/more_tc into master

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

Merge request reports