logoalt Hacker News

itishappy • today at 3:55 PM • 0 replies • view on HN

https://lean-lang.org/doc/api/Std/Http/Server.html

https://leangineer.com/blog/realworld-in-lean/

https://news.ycombinator.com/item?id=50088748