Forked from
Iris / Iris
Source project has a limited visibility.
-
Paolo G. Giarrusso authored
Commuting with |==> would have been interesting a bunch of times. But I still don't see a way to commute with fancy updates, even mask-preserving ones.
Paolo G. Giarrusso authoredCommuting with |==> would have been interesting a bunch of times. But I still don't see a way to commute with fancy updates, even mask-preserving ones.