Project 'FP/LambdaRust-coq' was moved to 'iris/lambda-rust'. Please update any links and bookmarks that may still have the old path.
-
Jacques-Henri Jourdan authored
Change the notation for borrows : now, it is just a notation for the predicate transformer (it does not include the payload of the borrow). --- --- The new behavior is somewhat more intuitive, and better behaved wrt view predicates.
Jacques-Henri Jourdan authoredChange the notation for borrows : now, it is just a notation for the predicate transformer (it does not include the payload of the borrow). --- --- The new behavior is somewhat more intuitive, and better behaved wrt view predicates.
