Commit Graph

120 Commits

Author SHA1 Message Date
Nixon Enraght-Moony 2f5927a77e
Add Polymorphisation paper (#1093) 2021-04-24 10:53:30 +09:00
Yuki Okushi 3cdb245b43 Fix broken links 2021-02-28 11:01:07 -05:00
Camelid 07b5693a90 Update some out-of-date information 2021-02-26 15:38:01 -05:00
pierwill 3708c8227a Add Oxide paper to bibliography 2021-02-15 10:14:03 -05:00
Wesley Wiser a436d3aedf
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 a17b865540
[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 59de3a0c58 Document what 'sysroot' means 2020-11-29 20:02:55 -05:00
Camelid cc841a185f Use new-style mdBook internal links in glossary 2020-10-28 18:33:30 -04:00
Camelid 384eddb2ef 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 5d6a0cdf69 Fix broken tags in glossary 2020-10-28 18:33:30 -04:00
Camelid de4ca80796
Add "ctxt" and `TyCtxt` to the glossary (#937) 2020-10-27 19:30:20 +01:00
1c3t3a f34dd04a39
Added description of word Scrutinee to the glossary (#921) 2020-10-13 01:57:18 +09:00
Camelid 6a5b29b31e
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 156423221c Fix the report link 2020-10-03 16:12:04 -04:00
Camelid deb6710734 More improvements 2020-09-17 11:35:14 -04:00
Camelid 7ca5568bae 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?! 45a1535007 Typo
Co-authored-by: Joshua Nelson <joshua@yottadb.com>
2020-08-31 05:12:13 +02:00
mark 4cb43d8160 fix typos 2020-08-31 05:12:13 +02:00
mark 9bb3872dc7 fix links and names after compiler mv to compiler/ 2020-08-31 05:12:13 +02:00
Takayuki Nakata 2c51b6f628
Fix jump marker of debruijn index (#783) 2020-07-04 00:31:52 +09:00
Takayuki Nakata bd1801c8b9 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 b7095995aa Add 'recovery' to the gloassary 2020-06-27 11:05:32 -05:00
Who? Me?! d103f0d897 Fix links for now. 2020-06-23 00:35:54 -05:00
Ralf Jung 5371f13236
tag/niche terminology (#747) 2020-06-11 12:38:42 +02:00
Who? Me?! caac584a9e
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?! 7119767f69
Fix link (#734) 2020-06-05 17:10:01 +02:00
LeSeulArtichaut aca2a716ea 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 54d64bd8ac Fix typo
Co-authored-by: Yuki Okushi <huyuumi.dev@gmail.com>
2020-05-27 15:17:33 -05:00
LeSeulArtichaut 8bb723c673 Add definition of `niche` to the glossary 2020-05-27 15:17:33 -05:00
Paul Daniel Faria 59c9fa7b3e
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 8e126df6fe 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 d7649f4b44 glossary: make soundness definition more readable 2020-05-11 23:52:00 +02:00
Tshepang Lekhonkhobe 1caba74063
glossary: intro feels like not adding much (#699) 2020-05-11 07:57:46 +02:00
Charles Lew d79227e453 Address review comments. 2020-04-25 06:57:48 -05:00
Charles Lew cbbe9b423f Fix links and CI error. 2020-04-25 06:57:48 -05:00
mark ae4e472959 add intrinsics to glossary 2020-04-18 11:11:33 -05:00
Paul Daniel Faria c33f0c6158 Remove duplicate trait reference entry from glossary, fix alphabetical sorting 2020-04-06 10:41:28 -05:00
Paul Daniel Faria 6e91f8d0e9 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 14a08a3663 remove stupid-stats, and some references to removed API 2020-04-04 13:36:17 -05:00
Paul Daniel Faria e1301ac847
Add BodyId to glossary, and links for ids to HIR identifiers section (#660) 2020-04-03 19:22:08 +02:00
mark 595f2f386c and a few more links 2020-03-31 15:43:14 -05:00
LeSeulArtichaut 83cd94ed2b Rename `librustc` to `librustc_middle` 2020-03-31 15:43:14 -05:00
Tshepang Lekhonkhobe 3cc54f2194
glossary: misc improvements (#638) 2020-03-28 21:29:57 +02:00
Chris Simpkins 0e1ad678ed [stupid-stats] replace removed rustc_codegen_utils with rustc_codegen_ssa 2020-03-22 17:58:00 -05:00
Solomon Ucko acd39231b6 Changed rustc-ty link to go to first message 2020-03-16 21:25:37 -05:00
Solomon Ucko 84791e1c44 Change Rust Koans link to point to first koan 2020-03-16 21:00:47 -05:00
Who? Me?! c2978595fc
Fix broken link (#612) 2020-03-17 08:20:38 +09:00
Yuki Okushi 1f80effa08 Fix broken link 2020-03-15 12:47:04 -05:00
Mark Mansi 83f0ba422a update backend chapters from nagisa's notes 2020-03-12 14:11:01 -05:00
Mark Mansi 1f4d07155e monomorphization chapter 2020-03-12 14:11:01 -05:00