Comment by anon291

3 months ago

Anything in type theory. Lean is fundamentally a strongly typed dependently typed programming language. Start with Haskell and keep going.

0 comments