aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli (unfollow)
Commit message (Expand)AuthorFilesLines
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