aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/vocab.mli
Commit message (Expand)AuthorAgeFilesLines
* docs: close the final review's four documentation residuesLukasz Kasprzak2026-08-121-1/+1
* kernel+rite-ef: correct stale plan-relative deferrals (item 7, part 2)Lukasz Kasprzak2026-08-121-3/+22
* kernel: Vocab, Celebration and Temporal parametric typesLukasz Kasprzak2026-08-111-0/+19