aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-13appropriate enumeration for tuple split on object and residentMarcos Magueta1-20/+31
2026-09-11substantial relation and schematicsMarcos Magueta1-5/+59
2026-09-11Multigroup objectsEstevan Castilho1-3/+7
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+147