Tshepang Mbambo 027bbb345c fix comment		2025-01-05 17:51:45 +01:00
..
caching.md	linkcheck: fix reported broken links (part 1) (#2022)	2024-07-24 20:01:25 +08:00
canonicalization.md	canonicalization is out of date	2024-03-22 11:11:41 +00:00
coinduction.md	review	2023-01-27 15:03:01 -08:00
invariants.md	Fix internal and incomplete links (#2107)	2024-10-31 11:13:57 +08:00
normalization.md	fix comment	2025-01-05 17:51:45 +01:00
opaque-types.md	comment out FIXMEs to not display them on UI (#2186)	2025-01-05 17:51:45 +01:00
proof-trees.md	update proof tree chapter (#2054)	2024-09-17 06:45:13 +02:00
significant-changes.md	linkcheck: fix reported broken links (part 1) (#2022)	2024-07-24 20:01:25 +08:00
the-solver.md	update new trait solver docs (#1802)	2023-10-05 16:48:35 -03:00
trait-solving.md	linkcheck: fix reported broken links (part 2) (#2024)	2024-07-27 14:45:57 +02:00