aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.mli (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-10-08rework evaluators and add schema scopeMarcos Magueta1-7/+11
2026-10-07drop journal in favor of local branch historyMarcos Magueta1-1/+9
2026-09-25dune fmtMarcos Magueta1-1/+0
2026-09-24Multigroup registration stubEstevan Castilho1-1/+1
2026-09-11Multigroup objectsEstevan Castilho1-0/+9