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.
Sry not sry for thread necro, but I was recently trying to see if I could get lean compilation to JS working. It seemed doable, but it wasn't trivial.
I'm currently evaluating options for making some small personal web apps. Since GHC is getting these JS backends, I'm renewing my interest there, but also lean has really been catching my interest lately.
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
Sry not sry for thread necro, but I was recently trying to see if I could get lean compilation to JS working. It seemed doable, but it wasn't trivial.
I'm currently evaluating options for making some small personal web apps. Since GHC is getting these JS backends, I'm renewing my interest there, but also lean has really been catching my interest lately.
Lean is good stuff! I wrote another guide for Lean 4: https://agentultra.github.io/lean-4-hackers/