Forked from
Iris / Iris
-
Robbert Krebbers authored
This generalization is surprisingly easy in Iris 3.0, so I could not resist not doing it :).
Robbert Krebbers authoredThis generalization is surprisingly easy in Iris 3.0, so I could not resist not doing it :).
