Functional programming? You are like a little baby. Watch this:
read image description
ALT
2
13
Conversation
(this is very superficial so far, but I am liking Lean a lot)
2
3
((is it just because I can use vscode with vim bindings instead of Isabelle/jEdit,,,))
3
4
Replying to
Lean's VS Code thing with live with intellisense and jump-to-def is so cool!
I also love the namespacing of the variants on inductive types. Just really wish it had a nicer module system. Also the quotient types seem a bit weird. 🤔
Still I'll probably mess around with it for simple stuff - there's lots to like ease of installation and editor support.
1