user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove flaky link

Browse source
This commit is contained in:
mark 2019-08-24 21:44:12 -05:00 • committed by Who? Me?!
parent 62aff2d4fe
commit 980894ff92
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/doc/rustc-dev-guide/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/