diff --git a/content/links/kirancodes-lean-replaced-ocaml.md b/content/links/kirancodes-lean-replaced-ocaml.md
new file mode 100644
index 0000000..37b1d1c
--- /dev/null
+++ b/content/links/kirancodes-lean-replaced-ocaml.md
@@ -0,0 +1,6 @@
++++
+title = "Why Lean 4 replaced OCaml as my Primary Language"
+date = 2025-08-26T17:04:25-03:00
+[extra]
+url = "https://kirancodes.me/posts/log-ocaml-to-lean.html"
++++