aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Forsake `fmap`Estevan Castilho11 days1-2/+0
|
* `fold_left` -> `foldm_right`Estevan Castilho11 days1-2/+4
|
* concat mapMarcos Magueta2026-10-121-0/+1
|
* result fold leftMarcos Magueta2026-10-121-0/+2
|
* dune fmtMarcos Magueta2026-09-251-2/+1
|
* `assoc` on associativesEstevan Castilho2026-09-241-0/+4
|
* Do not assume that the hash of an object is its storage addressEstevan Castilho2026-09-191-0/+1
|
* 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>