diff options
| author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
| commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
| tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /documentation/bookmark/memory_management/borrow.md | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to 'documentation/bookmark/memory_management/borrow.md')
| -rw-r--r-- | documentation/bookmark/memory_management/borrow.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/documentation/bookmark/memory_management/borrow.md b/documentation/bookmark/memory_management/borrow.md new file mode 100644 index 000000000..cf9f4bb6c --- /dev/null +++ b/documentation/bookmark/memory_management/borrow.md @@ -0,0 +1,5 @@ +# Reference + +0. []() +0. [Aeneas: Rust Verification by Functional Translation](https://arxiv.org/abs/2206.07185) + |