Functional Programming in Lean

Stream: Copenhagen Masterclass 2023

[David Thrane Christiansen]

Thank you all for letting me drop in today and plug the book! It's available for free at https://leanprover.github.io/functional_programming_in_lean/ . It was great saying hi - thanks for stimulating lunch conversations!