aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.ml (unfollow)
Commit message (Expand)AuthorFilesLines
12 daysFormattingEstevan Castilho1-3/+3
12 daysForsake `fmap`Estevan Castilho1-5/+6
2026-10-12relation scan with enumerable and releaseMarcos Magueta1-6/+2
2026-10-12concat mapMarcos Magueta1-1/+1
2026-10-12abstracting headers and merkle of list constructionMarcos Magueta1-9/+3
2026-10-11tests and some pointer for program on ephemeralMarcos Magueta1-13/+23
2026-10-10rework store ephemeral relation under program and fail at path lookMarcos Magueta1-3/+3
2026-10-09admission protocol for multigroup denial checksMarcos Magueta1-22/+59
2026-10-08purge schema in favor of simple namespaceMarcos Magueta1-63/+143
2026-10-08rework evaluators and add schema scopeMarcos Magueta1-53/+68
2026-10-07drop journal in favor of local branch historyMarcos Magueta1-7/+7
2026-10-01fix multigroup deriving and testsMarcos Magueta1-0/+22
2026-10-01ephemeral and substantial relation storage routingMarcos Magueta1-3/+34
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-1/+1
2026-09-25dune fmtMarcos Magueta1-36/+40
2026-09-24Multigroup registration stubEstevan Castilho1-6/+17
2026-09-24Make objects printableEstevan Castilho1-0/+2
2026-09-11Multigroup objectsEstevan Castilho1-0/+65
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 22:47:49 +0000