aboutsummaryrefslogtreecommitdiffstats
path: root/lib/concepts/Encoding.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
4 daysbencode helpers between dicts and string mapsMarcos Magueta1-0/+8
11 daysFormattingEstevan Castilho1-1/+1
11 daysForsake `fmap`Estevan Castilho1-6/+6
2026-10-01FOL program encoding and decodingMarcos Magueta1-0/+2
2026-09-25dune fmtMarcos Magueta1-73/+54
2026-08-27Branch serializationEstevan Castilho1-7/+24
2026-08-23Tidy upEstevan Castilho1-2/+91
2026-08-23Revert "format"Marcos Magueta1-46/+56
This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
2026-08-23formatMarcos Magueta1-56/+46
2026-07-30B-trees & serialization with bencodeEstevan Castilho1-0/+182