aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Branch serializationEstevan Castilho2026-08-271-0/+1
|
* Merge branch 'ocaml-rewrite' into new-obEstevan Castilho2026-08-231-0/+12
|\
| * B-tree iteration constructs (#49)Estevan Castilho2026-08-231-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
* | Lifecycles and namespacesEstevan Castilho2026-08-231-0/+5
| |
* | Tidy upEstevan Castilho2026-08-231-0/+6
| |
* | Atomic swap (and monadic swap)Estevan Castilho2026-08-231-0/+6
|/
* B-trees & serialization with bencodeEstevan Castilho2026-07-301-0/+1
|
* FOL: First Order Logic Execution EngineMarcos Magueta2026-07-111-0/+4
Co-authored-by: Estevan Castilho <tevo@riajuu.net>