Login
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
An important aspect of OCaml that newcomers might want to
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!