Why Lean 4 replaced OCaml as my Primary Language(kirancodes.me)
kirancodes.me
Why Lean 4 replaced OCaml as my Primary Language
https://kirancodes.me/posts/log-ocaml-to-lean.html
1 comments
Well, Lean is beautiful.
https://kirancodes.me/posts/log-ocaml-to-lean.html