aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'ocaml-rewrite' into new-obEstevan Castilho2026-08-231-7/+66
|\
| * B-tree iteration constructs (#49)Estevan Castilho2026-08-231-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
* | 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/+17
| |
* | Revert "format"Marcos Magueta2026-08-231-7/+7
| | | | | | | | This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
* | formatMarcos Magueta2026-08-231-7/+7
|/
* B-trees & serialization with bencodeEstevan Castilho2026-07-301-0/+8
|
* FOL: First Order Logic Execution EngineMarcos Magueta2026-07-111-0/+4
Co-authored-by: Estevan Castilho <tevo@riajuu.net>