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 ]
There are no comments on this comment yet.