From 7e9976e15e3b06ba24006c2610f2f2a548fbfe41 Mon Sep 17 00:00:00 2001
From: jultty <jutty@tuta.io>
Date: Tue, 26 Aug 2025 17:04:32 -0300
Subject: [PATCH] New link: Why Lean 4 replaced OCaml as my Primary Language

---
 content/links/kirancodes-lean-replaced-ocaml.md | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 content/links/kirancodes-lean-replaced-ocaml.md

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"
++++