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

27 points by gopiandcode 1y ago ↗ HN

2 comments

[ 2.7 ms ] story [ 16.3 ms ] thread

wryoak 1y 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