6 lines
167 B
Markdown
6 lines
167 B
Markdown
+++
|
|
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"
|
|
+++
|