Why Lean 4 replaced OCaml as my Primary Language

[yawaramin]

See OCaml 5.3.0 released

@octachron

utf-8 encoded Unicode source files and modest support of Unicode identifiers

type saison = Hiver | Été | Printemps | Automne 

The OCaml lexer has been extended to support a modest subset of Unicode
characters in identifiers. This is mostly intended for pedagogical use. This
extended support requires source files to be utf-8 encoded Unicode text.