Login
Roast topics
Find topics
Find it!
From:
kirancodes.me
(Uncensored)
subscribe
Why Lean 4 replaced OCaml as my Primary Language
https://kirancodes.me/posts/log-ocaml-to-lean.html
links
backlinks
Tagged with:
compilers
ml
plt
Roast topics
Find topics
Roast it!
An important aspect of OCaml that newcomers might want to
