aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-01fix multigroup deriving and testsMarcos Magueta1-0/+22
2026-10-01ephemeral and substantial relation storage routingMarcos Magueta1-3/+34
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-1/+1
2026-09-25dune fmtMarcos Magueta1-36/+40
2026-09-24Multigroup registration stubEstevan Castilho1-6/+17
2026-09-24Make objects printableEstevan Castilho1-0/+2
2026-09-11Multigroup objectsEstevan Castilho1-0/+65