aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli (unfollow)
Commit message (Expand)AuthorFilesLines
5 daysformat and where claude on folMarcos Magueta1-1/+3
12 daysUse finger trees in more placesEstevan Castilho1-0/+1
12 daysMonadic `concat_mapm`Estevan Castilho1-2/+2
12 daysSteal a `concat_map` implementation from KarutaEstevan Castilho1-0/+1
12 daysSteal a `filter_map` implementation from KarutaEstevan Castilho1-0/+1
12 daysForsake `fmap`Estevan Castilho1-2/+0
12 days`fold_left` -> `foldm_right`Estevan Castilho1-2/+4
2026-10-12concat mapMarcos Magueta1-0/+1
2026-10-12result fold leftMarcos Magueta1-0/+2
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
2026-07-30B-trees & serialization with bencodeEstevan Castilho1-0/+1
2026-07-11FOL: First Order Logic Execution EngineMarcos Magueta1-0/+4