Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
I started a (work-in-progress) guide to Lean for programmers. I saw George Hotz got into Lean late last year by way of his twitch stream and saw him get frustrated by the same lack of programmer-centric documentation I have. So I threw together https://agentultra.github.io/lean-for-hackers/ tonight.
Feedback (and PRs) welcome