Lean for Hackers - General

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

James King

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

Joel McCracken

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.

James King

Lean is good stuff! I wrote another guide for Lean 4: https://agentultra.github.io/lean-4-hackers/