aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Relation.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-4/+0
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-2/+0
* relation with just contains and require handleMarcos Magueta2026-09-111-3/+10
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+18