aboutsummaryrefslogtreecommitdiffstats
path: root/lib/concepts (follow)
Commit message (Collapse)AuthorAgeFilesLines
* B-tree iteration constructs (#49)Estevan Castilho2026-08-231-1/+1
| | | | | | | | | | | * Generic `sequence`, finger tree `map2`/`zip` * `fold_left` on B-trees * Finger tree `join` * `iter`, more tests * We do not need `keys` when traversing through a trunk node
* Initialization with Branch State and IndexMarcos Magueta2026-08-012-0/+104
|
* Serialize runtime objects: Multigroup, Branch & RelationMarcos Magueta2026-07-308-0/+323
|
* B-trees & serialization with bencodeEstevan Castilho2026-07-305-0/+233
|
* architecture diagram on CIMarcos Magueta2026-07-215-0/+10
|
* Storage layer scaffolding, LMDB backendEstevan Castilho2026-07-148-12/+133
|
* FOL: First Order Logic Execution EngineMarcos Magueta2026-07-1112-21/+157
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* Interface for the storage layerEstevan Castilho2026-07-098-0/+35