Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Following the time anology of later, the step-index 0 corresponds does not correspond to 'now', but rather to the end of time (i.e. 'last').
Robbert Krebbers authoredFollowing the time anology of later, the step-index 0 corresponds does not correspond to 'now', but rather to the end of time (i.e. 'last').