From bf3597ec12e3e676d92173fe4231a17e918f86b3 Mon Sep 17 00:00:00 2001 From: Tshepang Lekhonkhobe Date: Fri, 20 Dec 2019 04:51:08 +0200 Subject: chalk: place brackets in usual positions --- src/doc/rustc-dev-guide/src/traits/chalk-overview.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/doc/rustc-dev-guide') 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 -- cgit 1.4.1-3-g733a5