aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Scope.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* format and where claude on folMarcos Magueta4 days1-3/+9
* Use finger trees in more placesEstevan Castilho11 days1-6/+6
* change call sites DirectoryMarcos Magueta12 days1-1/+1
* concat mapMarcos Magueta2026-10-121-3/+1
* admission protocol for multigroup denial checksMarcos Magueta2026-10-091-1/+17
* purge schema in favor of simple namespaceMarcos Magueta2026-10-081-13/+1
* scope and source for evaluatorsMarcos Magueta2026-10-071-0/+148