aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* relation scan with enumerable and releaseMarcos Magueta2026-10-121-6/+2
|
* concat mapMarcos Magueta2026-10-121-1/+1
|
* abstracting headers and merkle of list constructionMarcos Magueta2026-10-121-9/+3
|
* tests and some pointer for program on ephemeralMarcos Magueta2026-10-111-13/+23
|
* merge lifecycle-ergonomics and rework modes and contain checksMarcos Magueta2026-10-111-10/+17
|\
* | rework store ephemeral relation under program and fail at path lookMarcos Magueta2026-10-101-3/+3
| |
* | admission protocol for multigroup denial checksMarcos Magueta2026-10-091-22/+59
| |
* | purge schema in favor of simple namespaceMarcos Magueta2026-10-081-63/+143
| |
* | rework evaluators and add schema scopeMarcos Magueta2026-10-081-53/+68
| |
* | drop journal in favor of local branch historyMarcos Magueta2026-10-071-7/+7
|/
* fix multigroup deriving and testsMarcos Magueta2026-10-011-0/+22
|
* ephemeral and substantial relation storage routingMarcos Magueta2026-10-011-3/+34
|
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-1/+1
|
* dune fmtMarcos Magueta2026-09-251-36/+40
|
* Multigroup registration stubEstevan Castilho2026-09-241-6/+17
|
* Make objects printableEstevan Castilho2026-09-241-0/+2
|
* Multigroup objectsEstevan Castilho2026-09-111-0/+65
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 07:09:45 +0000