diff options
| author | Tshepang Lekhonkhobe <tshepang@gmail.com> | 2019-12-20 04:51:08 +0200 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-12-19 23:03:31 -0600 |
| commit | bf3597ec12e3e676d92173fe4231a17e918f86b3 (patch) | |
| tree | 79506014e7dc4197b27460c5371026558f6b426b /src/doc/rustc-dev-guide | |
| parent | 843e23cd5c3a28c721889a724f7274382e86d5df (diff) | |
| download | rust-bf3597ec12e3e676d92173fe4231a17e918f86b3.tar.gz rust-bf3597ec12e3e676d92173fe4231a17e918f86b3.zip | |
chalk: place brackets in usual positions
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/traits/chalk-overview.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/src/traits/chalk-overview.md b/src/doc/rustc-dev-guide/src/traits/chalk-overview.md index 0f102d4d04d..a33cbcc63ae 100644 --- a/src/doc/rustc-dev-guide/src/traits/chalk-overview.md +++ b/src/doc/rustc-dev-guide/src/traits/chalk-overview.md @@ -7,8 +7,8 @@ [Chalk][chalk] recasts Rust's trait system explicitly in terms of logic programming by "lowering" Rust code into a kind of logic program we can then -execute queries against. (See [*Lowering to Logic*][lowering-to-logic] and -[*Lowering Rules*][lowering-rules]) Its goal is to be an executable, highly +execute queries against (see [*Lowering to Logic*][lowering-to-logic] and +[*Lowering Rules*][lowering-rules]). Its goal is to be an executable, highly readable specification of the Rust trait system. There are many expected benefits from this work. It will consolidate our |