diff options
| author | Son Ho | 2024-01-31 16:14:03 +0100 |
|---|---|---|
| committer | Son Ho | 2024-01-31 16:14:03 +0100 |
| commit | 4f619ca103e91d31ef18535e1d7a8e1f157206c3 (patch) | |
| tree | 8797cb7d6787ad9b03ed0c5266e0486a56747308 /tests/lean/NoNestedBorrows.lean | |
| parent | 0de27f0b88c12d210e840de0ad18eccf11b5ef1d (diff) | |
Make a minor modification to the README
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions