Functional Programming in Lean
https://lean-lang.org/functional_programming_in_lean/