Who? Me?!
|
c7503c1f81
|
Fix relative link
|
2019-01-18 14:09:30 -06:00 |
Philipp Hansch
|
3c5065f08a
|
Add IRLO to glossary
Someone was asking on Discord what it stands for. It's sometimes used in
GitHub issues, Twitter and other places.
|
2019-01-01 09:45:12 -06:00 |
csmoe
|
68d30b64cf
|
replace bound region with placeholder
|
2018-10-24 23:22:17 -05:00 |
csmoe
|
f177b07847
|
clean up skolemiza in glossary
|
2018-10-24 23:22:17 -05:00 |
Mark Mansi
|
0ccae015cb
|
Fix all the links to be relative for mdbook 2
|
2018-09-21 15:54:25 -05:00 |
|
Philipp Hansch
|
32abc8af93
|
Fix typos
These were fixed using [codespell](https://github.com/codespell-project/codespell).
|
2018-09-12 07:32:18 +02:00 |
Niko Matsakis
|
83ef63b957
|
fix glossary links
|
2018-09-11 16:31:47 -04:00 |
Alex Kitchens
|
fedeb6a9a0
|
Keep glossary definition of codegen
|
2018-06-26 19:04:30 -05:00 |
|
Alex Kitchens
|
f5f669e97d
|
Rename trans to codegen
This commit is a followup of changes from [b63d7e2b1c4019e40051036bcb1fd5f254a8f6e2](b63d7e2b1c (diff-b433c87466d984aa7eeded378ea6c392)) in the Rust source to rename trans to codegen.
|
2018-06-26 19:04:30 -05:00 |
|
Mark Mansi
|
d08cca96e5
|
add a bunch of type-related terms to glossary
|
2018-06-04 19:42:16 -05:00 |
|
Mark Mansi
|
eec934f762
|
fix remaining links
|
2018-06-02 17:20:47 -04:00 |
|
Mark Mansi
|
6246dbd9ed
|
move appendix
|
2018-06-02 17:20:47 -04:00 |