aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Scope.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
4 daysformat and where claude on folMarcos Magueta1-3/+9
11 daysUse finger trees in more placesEstevan Castilho1-6/+6
12 dayschange call sites DirectoryMarcos Magueta1-1/+1
2026-10-12concat mapMarcos Magueta1-3/+1
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