Why Lean 4 replaced OCaml as my Primary Language

See OCaml 5.3.0 released