ocaml/opam: 2.6.0~alpha1
This is the first alpha release of opam 2.6.0. Binaries and full archive are signed by the opam dev team (fingerprint 92C5 26AE 50DF 3947 0EB2 911B ED4C F1CA 67CB AA92). To verify the authenticity of one of these files,…
Daily edition · OCaml
The daily ledger
TILens turns technical updates into a focused daily brief: official releases, trusted reporting, and practitioner analysis, deduplicated and organized by topic.
OCaml Weekly News, 21 Jul 2026
Teaching Booleans About Versions: A Theory-Augmented BDD Library in OCaml
A tour of Theo, an OCaml BDD library with complement edges for O(1) negation, ephemeron-based caching, and theory support for reasoning about version constraints and equality, turning logical equivalence into a pointer…