Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)

27 points by gopiandcode 11mo ago ↗ HN

2 comments

[ 2.8 ms ] story [ 18.3 ms ] thread

wryoak 11mo ago ↗

It’s funny how one dev’s pain point is another’s salve

TIL... I didn't realise that Lean was usable(?) for 'actual programming' rather than just math proofs etc