Mark Mansi
|
8e9e120bfd
|
add comments from sunjay
|
2019-01-25 13:37:54 -06:00 |
|
Mark Mansi
|
0a357aaf8b
|
add link to sunjay talk
|
2019-01-25 13:37:54 -06:00 |
Who? Me?!
|
06fab883f7
|
fix relative link (#242)
|
2018-11-26 15:24:39 -06:00 |
Niko Matsakis
|
56a4e40e20
|
Merge pull request #228 from tmandry/traits-slg
Add traits SLG solver section
|
2018-11-20 14:08:02 -05:00 |
Tyler Mandry
|
f5cb41ca90
|
SLG: Add links and mark-i-m's suggestions
|
2018-11-19 18:51:49 -06:00 |
Félix Fischer
|
16da1bc2a6
|
Fix typo (#238)
"is is" ~> "it is"
|
2018-11-14 21:46:25 -06:00 |
|
Tyler Mandry
|
85fdcfdd1f
|
SLG: Replace heritage section with links to it elsewhere
Maybe we want to include this in the bibliography or something, though.
|
2018-11-04 09:50:18 -06:00 |
|
Tyler Mandry
|
54abc3bd9d
|
SLG: Add intro
|
2018-11-04 09:38:56 -06:00 |
|
Niko Matsakis
|
c31a7a8076
|
Merge pull request #222 from scalexm/wf
Write well-formedness checking chapter
|
2018-11-03 06:28:36 -04:00 |
|
Tyler Mandry
|
9aa8454682
|
Copy chalk_engine README
|
2018-11-02 16:20:56 -05:00 |
scalexm
|
e10e62d514
|
Fix nits
|
2018-11-02 21:50:36 +01:00 |
|
Niko Matsakis
|
2147a13b73
|
Merge pull request #223 from tmandry/improve-chalk-overview
Update chalk overview
|
2018-11-02 15:55:51 -04:00 |
|
Who? Me?!
|
5a6fb3a4a6
|
Clarify why 'static is free
|
2018-10-31 20:44:30 -05:00 |
|
Tyler Mandry
|
ff42f3cb54
|
Chalk Overview: Fill in testing section
|
2018-10-30 18:06:31 -05:00 |
|
Tyler Mandry
|
0e9d1a7afa
|
Chalk Overview: Organize and sort links
|
2018-10-30 18:06:31 -05:00 |
|
Tyler Mandry
|
4a8803cd10
|
Chalk Overview: Update old content
|
2018-10-30 18:06:25 -05:00 |
|
Tyler Mandry
|
4da740321c
|
Fix a few more things
Co-Authored-By: scalexm <alexandre@scalexm.fr>
|
2018-10-30 22:15:22 +01:00 |
|
Tyler Mandry
|
c50ab556c0
|
Move Crates section down
Nest existing content under Chalk Structure. I think it reads better
this way.
|
2018-10-29 22:34:23 -05:00 |
|
Tyler Mandry
|
26d5a3c5a6
|
Move Resources to bottom
|
2018-10-29 22:27:26 -05:00 |
|
Tyler Mandry
|
1ea546df15
|
Add section on chalk structure
|
2018-10-29 22:16:17 -05:00 |
|
Who? Me?!
|
7c421819ad
|
Fix a few things
Co-Authored-By: scalexm <alexandre@scalexm.fr>
|
2018-10-29 22:43:44 +01:00 |
|
scalexm
|
c75eb12084
|
Fix code blocks
|
2018-10-29 18:58:13 +01:00 |
|
scalexm
|
5334c1265f
|
Add some examples for impls
|
2018-10-29 16:18:26 +01:00 |
|
scalexm
|
f460f832ba
|
Write well-formedness checking chapter
|
2018-10-29 14:38:17 +01:00 |
|
Tyler Mandry
|
be6613169a
|
Get excited
|
2018-10-26 13:43:31 -05:00 |
|
Tyler Mandry
|
20d244d326
|
Add status of regions
|
2018-10-26 13:43:31 -05:00 |
|
Tyler Mandry
|
fe76ff64ae
|
Associated types: Break up text for readability
|
2018-10-26 13:43:31 -05:00 |
|
Tyler Mandry
|
9f5428144f
|
Associated types: Mention "lazy normalization" somewhere
|
2018-10-26 13:43:31 -05:00 |
|
Tyler Mandry
|
e6ca31cb00
|
Traits: Improve index layout, add chalk blurb
|
2018-10-26 13:43:31 -05:00 |
|
Tyler Mandry
|
af51d27eac
|
Reflect traits chapter structure in index key ideas
|
2018-10-26 11:09:46 -05:00 |
|
Who? Me?!
|
438e686c7c
|
Update src/traits/caching.md
Co-Authored-By: csmoe <csmoe@msn.com>
|
2018-10-24 23:22:17 -05:00 |
|
Who? Me?!
|
c9229c1c84
|
Update src/traits/hrtb.md
Co-Authored-By: csmoe <csmoe@msn.com>
|
2018-10-24 23:22:17 -05:00 |
csmoe
|
68d30b64cf
|
replace bound region with placeholder
|
2018-10-24 23:22:17 -05:00 |
csmoe
|
e4df53b93d
|
clean up skolemiza in traits
|
2018-10-24 23:22:17 -05:00 |
|
scalexm
|
8a533773d4
|
Clarify wording
|
2018-10-22 12:18:04 -05:00 |
|
Who? Me?!
|
59eb0f085c
|
Fix typos and punctuation
Co-Authored-By: scalexm <alexandre@scalexm.fr>
|
2018-10-22 12:18:04 -05:00 |
|
scalexm
|
0e032c2870
|
Write implied bounds chapter
|
2018-10-22 12:18:04 -05:00 |
|
scalexm
|
7117abcc53
|
Change wording
|
2018-10-22 12:14:46 -05:00 |
|
Who? Me?!
|
688c00f9ff
|
Fix typo
Co-Authored-By: scalexm <alexandre@scalexm.fr>
|
2018-10-22 12:14:46 -05:00 |
|
Who? Me?!
|
e38936af44
|
Add an apostrophe
Co-Authored-By: scalexm <alexandre@scalexm.fr>
|
2018-10-22 12:14:46 -05:00 |
|
scalexm
|
cd3afd5ed6
|
Polish lowering chapters and update rules
|
2018-10-22 12:14:46 -05:00 |
David Sanders
|
8f85624f2b
|
Typo nits #181 (#205)
|
2018-09-28 20:47:52 -05:00 |
|
Mark Mansi
|
58981d7649
|
Fix all the links!
|
2018-09-21 15:54:25 -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 |
|
mark
|
8a49eb7686
|
fix all the not-en-dashes
|
2018-07-09 21:45:49 -05:00 |
scalexm
|
247ff14a43
|
Capitalize a word
|
2018-06-12 18:20:35 -05:00 |
|
scalexm
|
99e4f99e9e
|
Add chalk rules for type defs
|
2018-06-12 18:20:35 -05:00 |
|
Mark Mansi
|
eec934f762
|
fix remaining links
|
2018-06-02 17:20:47 -04:00 |
|
Mark Mansi
|
30b6be0f7d
|
first round of link fixes
|
2018-06-02 17:20:47 -04:00 |