aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-20/+31
|
* substantial relation and schematicsMarcos Magueta2026-09-111-5/+59
|
* Multigroup objectsEstevan Castilho2026-09-111-3/+7
|
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+147