52 ms·
Is there some good literature to read about lean? First time I’m hearing about it and it seems pretty cool.
by aaomidi 10mo ago
Is there some good literature to read about lean? First time I’m hearing about it and it seems pretty cool.
- anon291 10mo agoAnything in type theory. Lean is fundamentally a strongly typed dependently typed programming language. Start with Haskell and keep going.