aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Scope.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-09admission protocol for multigroup denial checksMarcos Magueta1-1/+17
2026-10-08purge schema in favor of simple namespaceMarcos Magueta1-13/+1
2026-10-07scope and source for evaluatorsMarcos Magueta1-0/+148