Noah Lev
dd1feeb7a2
Add link to `Span`
2021-08-31 12:38:30 -05:00
Smittyvb
3db8af26f9
Generate glossary table correctly ( #1146 )
...
Co-authored-by: Yuki Okushi <yuki.okushi@huawei.com>
2021-06-24 13:57:37 +09:00
Yuki Okushi
5154ef98ec
Fix some links ( #1137 )
...
* Fix some links
* Address review comment
2021-06-04 09:08:56 +02:00
Nixon Enraght-Moony
8c522aa732
Add Polymorphisation paper ( #1093 )
2021-04-24 10:53:30 +09:00
Yuki Okushi
295234161c
Fix broken links
2021-02-28 11:01:07 -05:00
Camelid
4895d26d5e
Update some out-of-date information
2021-02-26 15:38:01 -05:00
pierwill
1ab6279cea
Add Oxide paper to bibliography
2021-02-15 10:14:03 -05:00
Wesley Wiser
e0425a9563
Update glossary.md ( #994 )
...
* Update glossary.md
- Added additional information to some of the definitions.
- Made term capitalization consistent so that only terms which refer to acronyms or concrete types are capitalized. Please let me know if that isn't desirable for some reason.
* Update src/appendix/glossary.md
Co-authored-by: Joshua Nelson <jyn514@gmail.com>
* Update src/appendix/glossary.md
Co-authored-by: Léo Lanteri Thauvin <leseulartichaut@gmail.com>
* Update src/appendix/glossary.md
Co-authored-by: Joshua Nelson <jyn514@gmail.com>
Co-authored-by: Léo Lanteri Thauvin <leseulartichaut@gmail.com>
2020-12-28 20:05:06 +01:00
Iñaki Garay
2f9696bdeb
[ Fixes #778 ] Added and reorganized lecture links ( #993 )
...
* Added and reorganized lecture links
* Addressed comments
* Addressed comments
2020-12-27 20:50:53 +01:00
Joshua Nelson
43fa1342f0
Document what 'sysroot' means
2020-11-29 20:02:55 -05:00
Camelid
17c77b296e
Use new-style mdBook internal links in glossary
2020-10-28 18:33:30 -04:00
Camelid
5b6f343c87
Put `TyCtxt` at the right position
...
It should now be at its alphabetical position.
Also fixed link to `TyCtxt` anchor.
2020-10-28 18:33:30 -04:00
Camelid
bbcf9282ac
Fix broken tags in glossary
2020-10-28 18:33:30 -04:00
Camelid
bec1897ef7
Add "ctxt" and `TyCtxt` to the glossary ( #937 )
2020-10-27 19:30:20 +01:00
1c3t3a
5f06872226
Added description of word Scrutinee to the glossary ( #921 )
2020-10-13 01:57:18 +09:00
Camelid
b431d8211c
Use HTTPS whenever possible in bibliography links ( #909 )
...
Also updated a few links that redirected.
2020-10-03 22:56:29 +02:00
Yuki Okushi
b61231e905
Fix the report link
2020-10-03 16:12:04 -04:00
Camelid
fd525a93d6
More improvements
2020-09-17 11:35:14 -04:00
Camelid
231e3d9c83
Improve MIR sections in appendix
...
Add a new graphical representation of one of the examples of MIR and
basic blocks!
And make other minor improvements.
2020-09-17 11:35:14 -04:00
Who? Me?!
b3e17b1b1f
Typo
...
Co-authored-by: Joshua Nelson <joshua@yottadb.com>
2020-08-31 05:12:13 +02:00
mark
54ffd393c9
fix typos
2020-08-31 05:12:13 +02:00
mark
89f0b60ccc
fix links and names after compiler mv to compiler/
2020-08-31 05:12:13 +02:00
Takayuki Nakata
45fb510957
Fix jump marker of debruijn index ( #783 )
2020-07-04 00:31:52 +09:00
Takayuki Nakata
0fd8abe5bf
Fix the names of table of contents and heading are different
...
Not to write the part of Appendix `A` in heading along with other appendix.
2020-07-02 15:44:52 -05:00
Aaron Hill
e362fdc8c7
Add 'recovery' to the gloassary
2020-06-27 11:05:32 -05:00
Who? Me?!
98a67dc23b
Fix links for now.
2020-06-23 00:35:54 -05:00
Ralf Jung
4c48d4c0eb
tag/niche terminology ( #747 )
2020-06-11 12:38:42 +02:00
Who? Me?!
98d000fb3c
Add a bit about various type system concepts ( #697 )
...
* add a bit on dataflow analysis
* add a bit on quanitification
* add a bit on debruijn index
* add a bit on early and late bound params
* add missing link
* Typos
Co-authored-by: Tshepang Lekhonkhobe <tshepang@gmail.com>
* clarify dataflow example
* fix formatting
* fix typos
* Typos
Co-authored-by: Tshepang Lekhonkhobe <tshepang@gmail.com>
* fix errors in background
* remove dup material and make early/late intro short
* adjust intro
* Niko's intro
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
Co-authored-by: Tshepang Lekhonkhobe <tshepang@gmail.com>
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2020-06-05 13:11:09 -03:00
Who? Me?!
138c73f545
Fix link ( #734 )
2020-06-05 17:10:01 +02:00
LeSeulArtichaut
cf38ea60b2
Apply suggestions from code review
...
Co-authored-by: Who? Me?! <mark-i-m@users.noreply.github.com>
2020-05-27 15:17:33 -05:00
LeSeulArtichaut
bc9d1d0d76
Fix typo
...
Co-authored-by: Yuki Okushi <huyuumi.dev@gmail.com>
2020-05-27 15:17:33 -05:00
LeSeulArtichaut
fc379a898f
Add definition of `niche` to the glossary
2020-05-27 15:17:33 -05:00
Paul Daniel Faria
9272d05ea7
Fix BodyId link typo in glossary ( #709 )
...
* Fix BodyId link typo in glossary
* Fix broken link to rustc_middle's Predicate
2020-05-23 16:25:53 -04:00
Tshepang Lekhonkhobe
bd6a1ae84d
Update src/appendix/glossary.md
...
Co-authored-by: Who? Me?! <mark-i-m@users.noreply.github.com>
2020-05-11 23:52:00 +02:00
Tshepang Lekhonkhobe
37322a7f26
glossary: make soundness definition more readable
2020-05-11 23:52:00 +02:00
Tshepang Lekhonkhobe
c740ef0a26
glossary: intro feels like not adding much ( #699 )
2020-05-11 07:57:46 +02:00
Charles Lew
37ffada957
Address review comments.
2020-04-25 06:57:48 -05:00
Charles Lew
4b1b22464f
Fix links and CI error.
2020-04-25 06:57:48 -05:00
mark
bf6c05c005
add intrinsics to glossary
2020-04-18 11:11:33 -05:00
Paul Daniel Faria
e2ea943091
Remove duplicate trait reference entry from glossary, fix alphabetical sorting
2020-04-06 10:41:28 -05:00
Paul Daniel Faria
ef8048d986
Add ids to all glossary items, make existing glossary links point to glossary, add links for def id in query.md
2020-04-05 12:46:22 -05:00
Tshepang Lekhonkhobe
858b0440a9
remove stupid-stats, and some references to removed API
2020-04-04 13:36:17 -05:00
Paul Daniel Faria
b54c64cb0f
Add BodyId to glossary, and links for ids to HIR identifiers section ( #660 )
2020-04-03 19:22:08 +02:00
mark
4589ebf70e
and a few more links
2020-03-31 15:43:14 -05:00
LeSeulArtichaut
cb99cfcc1e
Rename `librustc` to `librustc_middle`
2020-03-31 15:43:14 -05:00
Tshepang Lekhonkhobe
dd144563af
glossary: misc improvements ( #638 )
2020-03-28 21:29:57 +02:00
Chris Simpkins
fd19872109
[stupid-stats] replace removed rustc_codegen_utils with rustc_codegen_ssa
2020-03-22 17:58:00 -05:00
Solomon Ucko
5f6514575c
Changed rustc-ty link to go to first message
2020-03-16 21:25:37 -05:00
Solomon Ucko
52147d7ca2
Change Rust Koans link to point to first koan
2020-03-16 21:00:47 -05:00
Who? Me?!
f87d8e1cc5
Fix broken link ( #612 )
2020-03-17 08:20:38 +09:00