diff options
| author | mark <markm@cs.wisc.edu> | 2019-08-24 21:44:12 -0500 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-08-24 22:05:50 -0500 |
| commit | 980894ff92ffa015135f6c8ef3b2b06c4c2538fd (patch) | |
| tree | 1698d8a3398b16e441b5ddebd0737563ff79e86e /src | |
| parent | 62aff2d4fee8dd0d835f57a42d3d17074b9cb891 (diff) | |
| download | rust-980894ff92ffa015135f6c8ef3b2b06c4c2538fd.tar.gz rust-980894ff92ffa015135f6c8ef3b2b06c4c2538fd.zip | |
remove flaky link
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/traits/bibliography.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/src/traits/bibliography.md b/src/doc/rustc-dev-guide/src/traits/bibliography.md index b8f345d9d2e..a0242d4c44b 100644 --- a/src/doc/rustc-dev-guide/src/traits/bibliography.md +++ b/src/doc/rustc-dev-guide/src/traits/bibliography.md @@ -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/ |