diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2013-05-26 05:11:35 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2013-05-28 20:22:15 -0400 |
| commit | 329f7a17e2162807d62b5f1f4c3d97da1317d192 (patch) | |
| tree | 7a0bd1b57dbd2885647f47445c91b38fcc32cdc7 /src/rt/rust_kernel.cpp | |
| parent | 5851d3242cce2a53fc25df21ab5ad20dc1fd6a62 (diff) | |
| download | rust-329f7a17e2162807d62b5f1f4c3d97da1317d192.tar.gz rust-329f7a17e2162807d62b5f1f4c3d97da1317d192.zip | |
Update docs on the formal basis of the borrow checker.
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions