Yuki Okushi
|
3329715501
|
Fix some links (#1865)
|
2024-01-28 19:44:41 -03:00 |
lcnr
|
77dbe5782b
|
add a new type system invariant
|
2023-11-06 08:14:34 -08:00 |
|
lcnr
|
b98af7d661
|
update new trait solver docs (#1802)
* rewrite requirements/invariants
* add some more info about the trait solver
* CI
* review
|
2023-10-05 16:48:35 -03:00 |
|
lcnr
|
1726dad207
|
add section for normalization with the new solver
|
2023-07-11 19:59:26 +01:00 |
Tshepang Mbambo
|
07c92b839d
|
typo
|
2023-07-02 12:29:13 -07:00 |
Eric Huss
|
dda77e082f
|
Fix some links
|
2023-06-29 06:43:19 +02:00 |
|
lcnr
|
d3e8307298
|
add stub for proof trees (#1700)
|
2023-06-23 23:40:25 +01:00 |
|
lcnr
|
533a8ec5ad
|
typo
|
2023-04-26 12:09:10 -07:00 |
|
lcnr
|
635bab1835
|
extend the sixth requirement
|
2023-04-26 12:09:10 -07:00 |
|
lcnr
|
095f27d62a
|
new solver: write canonicalization chapter (#1595)
* write canonicalization chapter first half
* w
* review
* very good section
* whatever
* review
* ok
|
2023-02-20 14:45:25 +00:00 |
|
Yuki Okushi
|
d579acb697
|
Fix broken relative links
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
|
2023-02-03 06:23:25 +02:00 |
|
Yuki Okushi
|
860162abfe
|
Address the change in https://github.com/rust-lang/rust/pull/106718
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
|
2023-02-03 06:23:25 +02:00 |
|
lcnr
|
c166632b37
|
update datecheck
|
2023-01-27 15:03:01 -08:00 |
|
lcnr
|
71766d97b0
|
review
|
2023-01-27 15:03:01 -08:00 |
|
lcnr
|
167d22c126
|
line length
|
2023-01-27 15:03:01 -08:00 |
|
lcnr
|
7eaff60278
|
Update src/solve/canonicalization.md
Co-authored-by: Tshepang Mbambo <tshepang@gmail.com>
|
2023-01-27 15:03:01 -08:00 |
|
lcnr
|
9656b8ca34
|
review
|
2023-01-27 15:03:01 -08:00 |
|
lcnr
|
15bd9e49bb
|
Update src/solve/canonicalization.md
Co-authored-by: Boxy <supbscripter@gmail.com>
|
2023-01-27 15:03:01 -08:00 |
|
lcnr
|
61771df6d8
|
fix line lengths
|
2023-01-27 15:03:01 -08:00 |
|
lcnr
|
0bcdb56e3a
|
add section for the new trait solver
|
2023-01-27 15:03:01 -08:00 |