aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-18substantial relation context removal and test fixMarcos Magueta1-1/+1
2026-09-13actual lazy substantial relationMarcos Magueta1-23/+15
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