zlacker
[parent]
[thread]
0 comments
1. anon29+(OP)
[view]
[source]
2025-12-02 05:20:49
Anything in type theory. Lean is fundamentally a strongly typed dependently typed programming language. Start with Haskell and keep going.
[go to top]