Comment by aaomidi
2 months ago
Is there some good literature to read about lean? First time I’m hearing about it and it seems pretty cool.
2 months ago
Is there some good literature to read about lean? First time I’m hearing about it and it seems pretty cool.
Anything in type theory. Lean is fundamentally a strongly typed dependently typed programming language. Start with Haskell and keep going.