aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
* 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>