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

remove flaky link

This commit is contained in:
mark 2019-08-24 21:44:12 -05:00 committed by Who? Me?!
parent fa59976617
commit 4551fb7d4b
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/traits/bibliography.md
View File

@ -21,9 +21,7 @@ environments, and Lambda Prolog-style proof search. Quite readable.
<a name="slg"></a>
["A new formulation of tabled resolution with delay"][nftrd], by
[Theresa Swift]. This paper gives a kind of abstract treatment of the
Theresa Swift. This paper gives a kind of abstract treatment of the
SLG formulation that is the basis for our on-demand solver.
[nftrd]: https://dl.acm.org/citation.cfm?id=651202
[ts]: http://www3.cs.stonybrook.edu/~tswift/
[Theresa Swift]: http://www3.cs.stonybrook.edu/~tswift/