aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Source.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* programs as invokable imagesMarcos Magueta2026-10-091-88/+0
* admission protocol for multigroup denial checksMarcos Magueta2026-10-091-3/+1
* scope and source for evaluatorsMarcos Magueta2026-10-071-30/+52
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-8/+18
* journal for the websitejournalMarcos Magueta2026-10-051-0/+58