aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-25dune fmtMarcos Magueta1-2/+1
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-0/+1
2026-08-27Branch serializationEstevan Castilho1-0/+1
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/+6
2026-08-23B-tree iteration constructs (#49)Estevan Castilho1-0/+12
* 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/+1
2026-07-11FOL: First Order Logic Execution EngineMarcos Magueta1-0/+4
Co-authored-by: Estevan Castilho <tevo@riajuu.net>