zlacker

Is there some good literature to read about lean? First time I’m hearing about it and it seems pretty cool.

>>aaomid+(OP)
Anything in type theory. Lean is fundamentally a strongly typed dependently typed programming language. Start with Haskell and keep going.