Niko Matsakis
|
468407fc74
|
remove humorous footnote which is not supported
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
57ccda92e8
|
correct links (mdbook seems to want them relative to the book root)
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
32a8b6f41e
|
mention tidy
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
82f7f71d21
|
fix typo
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
87a20eed90
|
link to brson's blog post
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
2c503ac947
|
complete sentence
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
f00f4fa80c
|
give some advice about which test suite to use
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
b394e3c9f4
|
add some more conventions
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
936dabd6aa
|
add some notes on coding conventions and link to copyright notice
|
2018-02-17 10:51:29 -06:00 |
|
Niko Matsakis
|
77e034cef4
|
document the test infrastructure
|
2018-02-17 10:51:29 -06:00 |
|
Who? Me?!
|
22467f2498
|
Update glossary.md
|
2018-02-14 11:58:26 -06:00 |
|
Mark Mansi
|
76ffbac762
|
add soundness and completeness to glossary
|
2018-02-14 11:58:26 -06:00 |
|
Mark Mansi
|
12523efb8d
|
alphabetize glossary
|
2018-02-11 15:48:58 -06:00 |
|
Niko Matsakis
|
69f1ff3f1b
|
Merge pull request #46 from theotherphil/dumphir
Explain how to dump HIR
|
2018-02-08 04:13:33 -05:00 |
|
Phil Ellison
|
5d9b5af480
|
Use cargo rustc instead of setting RUSTFLAGS
|
2018-02-07 19:14:58 +00:00 |
|
Phil Ellison
|
885d05a33a
|
Explain how to dump HIR
|
2018-02-07 07:08:58 +00:00 |
|
Philipp Hansch
|
89e5f5bd7b
|
Order alphabetically, improve explanation of DAG
|
2018-02-06 11:26:34 -06:00 |
|
Philipp Hansch
|
fd21533d7f
|
Add DAG to glossary
|
2018-02-06 11:26:34 -06:00 |
|
Mark Mansi
|
54360bc43b
|
Update link text
|
2018-02-04 21:52:30 -06:00 |
|
Alexander Regueiro
|
b93b55de10
|
Removed spurious a.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
e50733d623
|
Fixed issues mentioned by @mark-i-m in review.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
be90a13112
|
More minor fixes.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
61450e5364
|
Cleaned up section on type inference.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
198054ea53
|
Explained what HM type inference is.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
c45b135799
|
Very minor grammatical fixes.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
79896e6cb2
|
Normalized instances of N.B..
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
f2fb102fac
|
Changed all instances of e.g., to e.g., and similar.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
d8b560076a
|
Improved grammar of HIR section.
|
2018-02-04 21:46:26 -06:00 |
|
Alexander Regueiro
|
41bb7504d7
|
Renamed trans: generating LLVM IR section.
|
2018-02-04 21:46:26 -06:00 |
|
Who? Me?!
|
0976bb3c90
|
Update README.md
|
2018-02-04 16:11:19 -06:00 |
|
avborhanian
|
444b4b9c06
|
Update glossary.md
|
2018-02-04 13:13:17 -06:00 |
|
avborhanian
|
90cf3918cf
|
Update glossary.md
|
2018-02-04 13:13:17 -06:00 |
|
avborhanian
|
f2a5c4b57b
|
Adding ICH to the glossary.
|
2018-02-04 13:13:17 -06:00 |
|
Alexander Regueiro
|
0d2e27c3d0
|
minor grammatical fixes
|
2018-02-01 11:03:07 -06:00 |
|
Alexander Regueiro
|
f4a8352501
|
replaced all instances of -- (double hyphen) with - (en-dash)
|
2018-02-01 11:03:07 -06:00 |
|
Alexander Regueiro
|
7b236a4f66
|
fixed definition of code_mr hyperlink
|
2018-02-01 11:03:07 -06:00 |
|
Niko Matsakis
|
eaa5fdb516
|
Merge pull request #37 from nikomatsakis/staging
update wording on staging to be a bit more clear
|
2018-01-31 14:44:55 -05:00 |
|
Niko Matsakis
|
12243df6b4
|
update wording to be a bit more clear
|
2018-01-31 14:18:51 -05:00 |
|
Niko Matsakis
|
9863808201
|
fix some broken links
|
2018-01-31 14:13:49 -05:00 |
|
Niko Matsakis
|
f0ab2ecf95
|
Update link to hir
|
2018-01-31 14:13:10 -05:00 |
|
Niko Matsakis
|
51fc35b7cf
|
update to link within the book
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
31a66439e0
|
Toned down the log verbosity
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
fa38aac34c
|
Added a note about how to use mdbook-linkcheck
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
f48a68e481
|
Removed ghp-import and run mdbook build unconditionally
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
173a1083ea
|
Updated CI to install and use mdbook-linkcheck
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
b9ad5b05a4
|
Added the mdbook-linkcheck backend
|
2018-01-31 14:13:09 -05:00 |
|
Niko Matsakis
|
b354719755
|
Merge pull request #36 from mark-i-m/markim_readme_02
Copy MIR readme
|
2018-01-31 14:12:41 -05:00 |
|
Mark Mansi
|
a8b512e2b1
|
copy MIR readme
|
2018-01-31 12:22:42 -06:00 |
|
Niko Matsakis
|
05b26f16d9
|
Merge pull request #31 from mark-i-m/markim_readme_01
Copy type inference readme
|
2018-01-31 11:28:11 -05:00 |
|
Niko Matsakis
|
27c4b2e5bf
|
Merge pull request #33 from mark-i-m/stages
Add a paragraph about bootstrapping
|
2018-01-31 11:25:10 -05:00 |
|