aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/precedence.ml
Commit message (Expand)AuthorAgeFilesLines
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-121-1/+2
* kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-111-0/+69