News for hackers. Stuff that matters.

A comment on Functional Programming in Lean – a book on using Lean 4 to write programs. Parent comment

Re:Functional Programming in Lean – a book on using Lean 4 t... by ykonstant on Sunday May 28, 2023 @08:41PM (#36109318)
Thank you very much for this book. It has been invaluable for my introduction to Lean and a joy to study from. I still have not read the last chapter, looking forward to it! Kudos for your effort, and I hope you will write some more stuff about Lean in the future.
[ Parent | on HN ]
Re:Functional Programming in Lean – a book on using Lean 4 t... by d_christiansen on Monday May 29, 2023 @06:00AM (#36112402)
Thank you for reading it, and I hope that the final chapter is also enjoyable for you. Right now, I plan to take a break - this book occupied every Saturday for about a year, and some time off is in order. But Lean is tons of fun, and I'd like to get back into it once I'm recovered a bit.
[ Parent | on HN ]