Thank you!

Stream: new members

[Denis Gorbachev]

@David Thrane Christiansen I just wanted to say a huge Thank You for "Functional Programming in Lean"! Appreciate the style that shows the evaluation steps, the error messages, and in general allows the reader to follow along as you're working on a solution.

Your book is an invaluable resource for programmers who are just starting with Lean. Hope it attracts more people looking for a level-up.

Thanks again!

[Denis Gorbachev]

And, of course, thank you everyone working on Lean!

Amazing language, I find myself thinking in Lean instead of English quite often.

[David Thrane Christiansen]

Thank you for letting me know that it's been useful!