jutty/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

New link: Why Lean 4 replaced OCaml as my Primary Language

Browse source
This commit is contained in:
jultty 2025-08-26 17:04:32 -03:00
commit 7e9976e15e
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
content/links/kirancodes-lean-replaced-ocaml.md Normal file
View file

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