Login
From:
OCaml
(Uncensored)
subscribe
Why Lean 4 replaced OCaml as my Primary Language - Ecosystem - OCaml
https://discuss.ocaml.org/t/why-lean-4-replaced-ocaml-as-my-primary-language/17109
links
backlinks
Roast topics
Find topics
Find it!
Why Lean 4 replaced OCaml as my Primary Language
