Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
This makes some proress on #21. Still, the question remains if a more generic solution exists.
Robbert Krebbers authoredThis makes some proress on #21. Still, the question remains if a more generic solution exists.
