Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This better seals off their definition. Although it did not give much of a speedup, I think it is conceptually nicer.
Robbert Krebbers authoredThis better seals off their definition. Although it did not give much of a speedup, I think it is conceptually nicer.
