aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* rework evaluators and add schema scopeMarcos Magueta2026-10-081-7/+11
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-1/+9
* dune fmtMarcos Magueta2026-09-251-1/+0
* Multigroup registration stubEstevan Castilho2026-09-241-1/+1
* Multigroup objectsEstevan Castilho2026-09-111-0/+9