Skip to content

Commit 329f7a1

Browse files
nikomatsakisnikomatsakis
committed
Update docs on the formal basis of the borrow checker.
1 parent 5851d32 commit 329f7a1

4 files changed

Lines changed: 527 additions & 635 deletions

File tree

0 commit comments

Comments
 (0)