News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.