aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-25dune fmtMarcos Magueta1-29/+13
2026-09-24`assoc` on associativesEstevan Castilho1-0/+4
2026-09-19Do not assume that the hash of an object is its storage addressEstevan Castilho1-5/+8
2026-08-27Branch serializationEstevan Castilho1-0/+4
2026-08-23Lifecycles and namespacesEstevan Castilho1-0/+5
2026-08-23Tidy upEstevan Castilho1-0/+6
2026-08-23Atomic swap (and monadic swap)Estevan Castilho1-0/+17
2026-08-23Revert "format"Marcos Magueta1-7/+7
This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
2026-08-23formatMarcos Magueta1-7/+7
2026-08-23B-tree iteration constructs (#49)Estevan Castilho1-7/+66
* 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
2026-07-30B-trees & serialization with bencodeEstevan Castilho1-0/+8
2026-07-11FOL: First Order Logic Execution EngineMarcos Magueta1-0/+4
Co-authored-by: Estevan Castilho <tevo@riajuu.net>