aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/precedence.mli
Commit message (Expand)AuthorAgeFilesLines
* fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...Lukasz Kasprzak2026-08-121-1/+14
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-121-0/+16
* docs: close the final review's four documentation residuesLukasz Kasprzak2026-08-121-5/+7
* docs+test: small factual corrections (item 7, part 1)Lukasz Kasprzak2026-08-121-1/+17
* kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-111-0/+60