aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-55/+0
2026-09-25dune fmtMarcos Magueta1-1/+0
2026-09-23remove dead APIMarcos Magueta1-8/+0
2026-09-20generate and mode functionality for substantial relationMarcos Magueta1-8/+8
2026-09-18make substantial relation use merkle.interfaceMarcos Magueta1-2/+2
2026-09-13appropriate enumeration for tuple split on object and residentMarcos Magueta1-10/+10
2026-09-11substantial relation and schematicsMarcos Magueta1-1/+16
2026-09-11Multigroup objectsEstevan Castilho1-0/+5
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+44