mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chalk: place brackets in usual positions

This commit is contained in:
Tshepang Lekhonkhobe 2019-12-20 04:51:08 +02:00 committed by Who? Me?!
parent b37bd78a3e
commit 45b78af3f7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/traits/chalk-overview.md
View File

@ -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