Why Lean 4 replaced OCaml as my Primary Language (via k-monk) — discussion

#compilers #ml #plt