Why Lean 4 replaced OCaml as my Primary Language

Whoa! Completely missed this recent release note. Very nice to see for my immediate use case & for OCaml users of some non-Anglophonic backgrounds, but “modest” is still limited to Latin scripts (as well as bicamerality). I guess I’ll have to keep my fingers crossed to for future ability to use a Unicode infix operator too…

1 Like