aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-55/+0
|
* dune fmtMarcos Magueta2026-09-251-1/+0
|
* remove dead APIMarcos Magueta2026-09-231-8/+0
|
* generate and mode functionality for substantial relationMarcos Magueta2026-09-201-8/+8
|
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-181-2/+2
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-10/+10
|
* substantial relation and schematicsMarcos Magueta2026-09-111-1/+16
|
* Multigroup objectsEstevan Castilho2026-09-111-0/+5
|
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+44