aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Source.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-09programs as invokable imagesMarcos Magueta1-88/+0
2026-10-09admission protocol for multigroup denial checksMarcos Magueta1-3/+1
2026-10-07scope and source for evaluatorsMarcos Magueta1-30/+52
2026-10-07drop journal in favor of local branch historyMarcos Magueta1-8/+18
2026-10-05journal for the websitejournalMarcos Magueta1-0/+58